3 ms·I think the title might better off start with "forall x" as on the link instead of "Forallx"by michaelmior 4y agoI think the title might better off start with "forall x" as on the link instead of "Forallx"