Theorem isUnit_le_nonZeroDivisors

Modification history

2025-10-25 18:20
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat(RingTheory): Noetherian ring of fractions is semilocal (#30837) …
Added isUnit_le_nonZeroDivisorsView on Github →