Homotopy Type Theory
infinite decimal representation of a unit interval > history
<
infinite decimal representation of a unit interval
category:
redirected to nlab