Homotopy Type Theory pointwise continuous function > history

< pointwise continuous function