Commit 2020-10-12 14:57 266895fb

fix(algebra/ordered_group): use add_neg in autogenerated lemma name (#4580) Explicitly add sub_le_sub_iff with a - b.

modified theorem div_le_div_iff'

added theorem sub_le_sub_iff