Axiomatic Method for
Definition
: Congruent, Residue [8153]
Underlying Axioms
...no axioms
Logical Predecessors
...no predecessors
Logical Successors
...no successors
OK