Addition, Subtraction and Multiplication of Congruences, the Commutative Ring $\mathbb Z_m$

Axiomatic Method for Proposition: Addition, Subtraction and Multiplication of Congruences, the Commutative Ring $\mathbb Z_m$ [8156]

Underlying Axioms

...no axioms

Logical Predecessors

no proofs found yet in BookofProofs. Please help us to improve our catalogue by adding a proof!

Logical Successors

Theorems:
- 8157: Sums, Products, and Powers Of Congruences