Axiomatic Method for Proposition: Congruences and Division with Quotient and Remainder [8155]

Underlying Axioms

Logical Predecessors

Logical Successors

OK