Theorem coe_nonZeroDivisorsLeft_eq

Modification history

2023-12-06 11:04
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore: Move `RingTheory/NonZeroDivisors` under `Algebra` instead. (#8685)
Modified coe_nonZeroDivisorsLeft_eqView on Github →
2023-08-10 19:52
Mathlib/GroupTheory/Submonoid/ZeroDivisors.lean
feat: lemmas about nilpotency and polynomials (#6450)
Added coe_nonZeroDivisorsLeft_eqView on Github →