Theorem mem_nonZeroDivisors_iff'

Modification history

2026-01-02 21:42
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat(Algebra/GroupWithZero/NonZeroDivisors): add some lemmas about multiplication (#32773) …
Added mem_nonZeroDivisors_iff'View on Github →