Axiomatic Method for Proposition: Cancellation of Congruences With Factor Co-Prime To Module, Field $\mathbb Z_p$ [8161]

Underlying Axioms

Logical Predecessors

Logical Successors

OK