ennreal): weaker assumptions in `sub_mul`, add `coe_inv_le`
#2074

Merged

chore(data/real/ennreal): weaker assumptions in `sub_mul`, add `coe_inv_le` #2074

mergify merged 2 commits into master from ennreal-lemmas

chore(data/real/ennreal): weaker assumptions in `sub_mul`, add `coe_i…

0bb73509

sgouezel approved these changes on 2020-03-02

sgouezel added ready-to-merge

Merge branch 'master' into ennreal-lemmas

e65834c5

mergify merged 62756bd3 into master 6 years ago

mergify deleted the ennreal-lemmas branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone