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'