Theorem zero_not_mem_nonZeroDivisors

Modification history

2025-05-25 12:30
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted zero_not_mem_nonZeroDivisorsView on Github →
2025-02-14 14:20
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore(NonZeroDivisors): clean up (#21288) …
Modified zero_not_mem_nonZeroDivisorsView on Github →
2024-01-17 13:26
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat: Generalize absNorm to fractional ideals (#9613) …
Added zero_not_mem_nonZeroDivisorsView on Github →