Homotopy Type Theory
Archimedean ordered integral domain > history
<
Archimedean integral domain
category:
redirected to nlab