Homotopy Type Theory Dedekind real numbers > history

Redirected from "E. M. Vitale".

< Dedekind real number

category: redirected to nlab