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