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