Homotopy Type Theory
limit of a function > history
<
limit of a function
category:
redirected to nlab