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

Underlying Axioms

Logical Predecessors

Logical Successors

OK