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