mathlib3
refactor(strict_mono): make definition + move to order_functions
#998

Merged

refactor(strict_mono): make definition + move to order_functions #998

mergify merged 3 commits into master from strict-mono

jcommelin requested a review 6 years ago

refactor(strict_mono): make definition + move to order_functions

6a6d053f

cipher1024 commented on 2019-05-08

Weaken assumptions from preorder to has_lt

ae5c6a93

cipher1024 approved these changes on 2019-05-09

cipher1024 added ready-to-merge

Merge branch 'master' into 'strict-mono'

6dad2a18

mergify merged df5eddeb into master 6 years ago

mergify deleted the strict-mono branch 6 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone