Axiomatic Method for
Proposition
: Congruence Classes [8154]
Underlying Axioms
...no axioms
Logical Predecessors
no proofs found yet in
Bookof
Proofs
. Please help us to improve our catalogue by adding a proof!
Logical Successors
...no successors
OK