Ax::noZeroDivisors -- the
axiom of rng's with no zero divisor
IntroductionAx::noZeroDivisors states that a ring without a unit
has no zero divisors.
Generating
the axiomAx::noZeroDivisors()
DetailsAx::noZeroDivisors is used to state that a
ring without a unit has no zero divisors, i.e. that the product of two
non-zero elements is never zero.