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

Showing changes from revision #1 to #2: Added | ~~Removed~~ | ~~Chan~~ged

~~There~~ ~~are~~ ~~many~~ < ~~different~~ ~~types~~ of ~~commutative~~ ~~reciprocal~~ ~~rings.~~ ~~Some~~ of ~~these~~ ~~include~~integral domain

commutative Heyting cancellation ring

commutative discrete cancellation ring

commutative residue cancellation ring?

~~et cetera.~~
~~See also~~

commutative ring

cancellation ring

commutative reciprocal ring

commutative division ring

integral domain

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