Theorem nonZeroDivisorsLeft_eq_right

Modification history

2023-12-06 11:04
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore: Move `RingTheory/NonZeroDivisors` under `Algebra` instead. (#8685)
Modified nonZeroDivisorsLeft_eq_rightView on Github →
2023-10-17 09:07
Mathlib/GroupTheory/Submonoid/ZeroDivisors.lean
chore: remove many `Type _` before the colon (#7718) …
Modified nonZeroDivisorsLeft_eq_rightView on Github →
2023-08-10 19:52
Mathlib/GroupTheory/Submonoid/ZeroDivisors.lean
feat: lemmas about nilpotency and polynomials (#6450)
Added nonZeroDivisorsLeft_eq_rightView on Github →