Homotopy Type Theory
Heyting reciprocal Z-algebra > history
<
reciprocal algebra
category:
redirected to nlab