Commit 2022-11-03 08:03 402f8982
View on Github →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