mathlib3
feat(algebra/order_functions): generalize strict_mono.monotone
#1022

Merged

feat(algebra/order_functions): generalize strict_mono.monotone #1022

mergify merged 3 commits into master from rwbarton-mono

feat(algebra/order_functions): generalize strict_mono.monotone

218c0e77

rwbarton requested a review 7 years ago

jcommelin dismissed these changes on 2019-05-13

jcommelin added ready-to-merge

Merge branch 'master' into rwbarton-mono

33af299b

mergify dismissed their stale review 7 years ago

Pull request has been modified.

jcommelin approved these changes on 2019-05-13

Merge branch 'master' into 'rwbarton-mono'

5fa9a45e

mergify merged 6dc06824 into master 7 years ago

mergify deleted the rwbarton-mono branch 7 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone