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