Commit 2020-05-01 12:56 6a2559a5
View on Github →chore(algebra/group_with_zero): rename div_eq_inv_mul' to div_eq_inv_mul (#2583) There are no occurrences of the name without ' in either core or mathlib so this change in name (from #2242) seems to have been unnecessary.