Homotopy Type Theory commutative discrete cancellation ring > history (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

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