Homotopy Type Theory commutative discrete cancellation ring > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

< integral domain

A

commutative discrete cancellation ring is a discrete cancellation ring (A,+,,0,)(A, +, -, 0, \cdot) that is also a commutative ring

Examples

See also

Revision on June 13, 2022 at 01:08:16 by Anonymous?. See the history of this page for a list of all contributions to it.