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