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