Axiomatic Method for Definition: Congruent, Residue [8153]

Underlying Axioms

Logical Predecessors

Logical Successors

OK