Homotopy Type Theory
Dedekind complete Archimedean ordered integral domain > history
<
real number
category:
redirected to nlab