Homotopy Type Theory Dedekind cut > history

Redirected from "canonical Hilbert-space of half-densities".

< Dedekind cut