Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-03-29 10:05
575260de
View on Github →
feat: add a simp attribute to isUnit_iff_ne_zero (
#11756
)
Estimated changes
Modified
Mathlib/Algebra/Algebra/Quasispectrum.lean
Modified
Mathlib/Algebra/GroupWithZero/Units/Basic.lean