Ax::noZeroDivisors
-- the
axiom of rng's with no zero divisorAx::noZeroDivisors
states that a ring without a unit
has no zero divisors.
Ax::noZeroDivisors()
Ax::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.