Homotopy Type Theory
Cauchy approximation > history
<
Cauchy approximation
category:
redirected to nlab