Theorem nmem_nonZeroDivisorsLeft_iff

Modification history

2024-05-22 13:33
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat(Mathlib.Algebra.Polynomial.RingDivision): add Polynomial.nmem_nonZeroDivisors_iff (#12950) …
Added nmem_nonZeroDivisorsLeft_iffView on Github →