Homotopy Type Theory Dedekind complete Archimedean ordered integral domain > history

< real number