Homotopy Type Theory
Archimedean ordered abelian group > history
<
Archimedean group
category:
redirected to nlab