Axiomatic Method for Proposition: Cancellation of Congruences with General Factor [8162]

Underlying Axioms

Logical Predecessors

Logical Successors

OK