mathlib3
266895fb - fix(algebra/ordered_group): use `add_neg` in autogenerated lemma name (#4580)

Commit

5 years ago

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

References

Author

urkud

Parents