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