Axiomatic Method for Proposition: Congruence Classes [8154]

Underlying Axioms

Logical Predecessors

Logical Successors

OK