CommutativeRing concept
Description
A commutative ring is a
Ring
in which the multiplication operation is commutative.
Refinement of
Ring
Notation
Definitions
Valid expressions
Expression semantics
Complexity guarantees
Invariants
Models
Notes