Homotopy Type Theory
Dedekind real numbers > history
Redirected from "E. M. Vitale".
<
Dedekind real number
category:
redirected to nlab