Homotopy Type Theory
modulus of Cauchy convergence > history
<
modulus of convergence
category:
redirected to nlab