Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-02-20 14:25
334fb89d
View on Github →
feat(algebra/order/ring): add three_ne_zero and four_ne_zero (
#12142
)
Estimated changes
Modified
src/algebra/order/ring.lean
added
theorem
four_ne_zero
added
theorem
three_ne_zero