Homotopy Type Theory commutative reciprocal ring > history

< field