Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-23 22:43
cc406db0
View on Github →
feat(algebra/ring/basic): generalisation linter suggestions (
#13649
)
Estimated changes
Modified
src/algebra/ring/basic.lean
modified
theorem
is_regular_of_ne_zero'
modified
theorem
pred_ne_self
modified
theorem
succ_ne_self