Theorem mem_nonZeroDivisorsRight_iff

Modification history

2025-07-22 20:14
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
fix(NonZeroDivisors): swap left and right (#27224) …
Modified mem_nonZeroDivisorsRight_iffView on Github →
2025-02-14 14:20
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore(NonZeroDivisors): clean up (#21288) …
Modified mem_nonZeroDivisorsRight_iffView on Github →
2023-12-06 11:04
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore: Move `RingTheory/NonZeroDivisors` under `Algebra` instead. (#8685)
Modified mem_nonZeroDivisorsRight_iffView on Github →
2023-08-10 19:52
Mathlib/GroupTheory/Submonoid/ZeroDivisors.lean
feat: lemmas about nilpotency and polynomials (#6450)
Added mem_nonZeroDivisorsRight_iffView on Github →