Homotopy Type Theory
uniformly continuous function > history
<
uniformly continuous function
category:
redirected to nlab