Homotopy Type Theory UMyn8W7b is locked

Redirected from "quantifier".
Note: quantification and quantification both redirect for "quantifier".

Anonymous? has been editing this page for 14 minutes.