Homotopy Type Theory discrete integral domain > history (Rev #2)


A discrete integral domain is a commutative discrete cancellation ring (A,+,,0,,1)(A, +, -, 0, \cdot, 1) with a term p:(0=1)p: (0 = 1) \to \emptyset.


See also

Revision on March 15, 2022 at 00:01:50 by Anonymous?. See the history of this page for a list of all contributions to it.