Commit 2022-03-03 19:27 e823109e
View on Github →chore(algebra/{group,group_with_zero}/basic): rename div_mul_div and div_mul_comm (#12365)
The new name, div_mul_div_comm is consistent with mul_mul_mul_comm.
Obviously this renames the additive versions too.