Showing changes from revision #1 to #2:
Added | Removed | Changed
A commutative ring is a ring with
A commutative ring is a commutative A3-space in abelian groups.
Every contractible type is a commutative ring.
The integers are a commutative ring.
The rational numbers are a commutative ring.