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