Homotopy Type Theory Archimedean ordered integral domain > history

< Archimedean integral domain