Homotopy Type Theory Dedekind real numbers > history

< Dedekind real number