mathlib3
feat(algebra/order): allow simp to flip inequalities
#1418

Merged

feat(algebra/order): allow simp to flip inequalities #1418

mergify merged 2 commits into master from flipping_inequalities

kim-em requested a review from

avigad 6 years ago

kim-em requested a review 6 years ago

let simp flip inequalities

5f0e75f0

kim-em force pushed from fdcc316b to 5f0e75f0 6 years ago

avigad approved these changes on 2019-09-10

avigad added ready-to-merge

Merge branch 'master' into flipping_inequalities

e1a56d63

mergify merged 2dd6398e into master 6 years ago

mergify deleted the flipping_inequalities branch 6 years ago

Reviewers

avigad

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone