Homotopy Type Theory Dedekind real numbers > history

Redirected from "E. M. Vitale".

< Dedekind real number