Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-01-25 00:17
ad223232
View on Github →
feat: two lemmas about division (
#9966
)
Estimated changes
Modified
Mathlib/Algebra/Group/Basic.lean
added
theorem
div_eq_div_iff_comm
Modified
Mathlib/Algebra/GroupWithZero/Units/Lemmas.lean
added
theorem
div_eq_div_iff_div_eq_div'