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

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

Definition

< integral domain

A

commutative Heyting cancellation ring is a Heyting cancellation ring (A,+,,0,,1,#)(A, +, -, 0, \cdot, 1, #) that is also a commutative ring.

Examples

See also

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