chore(algebra/order/group/basic): Improve lemma names (#16970)
Rename
* `div_le''` → `div_le_comm`
* `le_div''` → `le_div_comm`
* `sub_le` → `sub_le_comm`
* `le_sub` → `le_sub_comm`
* `div_lt''` → `div_lt_comm`
* `lt_div''` → `lt_div_comm`
* `sub_lt` → `sub_lt_comm`
* `lt_sub` → `lt_sub_comm`
