Homotopy Type Theory Dedekind complete Archimedean ordered field > history is locked

Anonymous? just started editing this page.

Edit the page anyway Cancel