Theorem div_eq_div_iff_comm

Modification history

2024-01-25 00:17
Mathlib/Algebra/Group/Basic.lean
feat: two lemmas about division (#9966)
Added div_eq_div_iff_commView on Github →