mathlib3
feat(data/list/min_max): add minimum
#892
Merged
Overview
Commits
9
Changes
View On GitHub

feat(data/list/min_max): add minimum #892

robertylewis merged 9 commits into leanprover-community:master from minchaowu:master
minchaowu
minchaowu feat(data/list/min_max): add minimum
8d0a9fa5
minchaowu minchaowu requested a review 6 years ago
cipher1024
cipher1024 dismissed these changes on 2019-04-05
cipher1024 cipher1024 added ready-to-merge
Merge branch 'master' into 'master'
71af9f4b
Merge branch 'master' into 'master'
0967002d
Merge branch 'master' into 'master'
592235ee
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
cipher1024 Merge branch 'master' into master
96f11c85
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
cipher1024
cipher1024 dismissed these changes on 2019-04-06
cipher1024 Merge branch 'master' into master
d0d4f3b3
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
ChrisHughes24
ChrisHughes24 dismissed these changes on 2019-04-06
ChrisHughes24 Merge branch 'master' into master
4387218e
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
ChrisHughes24
ChrisHughes24 dismissed these changes on 2019-04-06
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
cipher1024 Merge branch 'master' into master
9f2cd882
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
cipher1024
cipher1024 dismissed these changes on 2019-04-07
robertylewis Merge branch 'master' into master
351656a5
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
robertylewis
robertylewis approved these changes on 2019-04-07
robertylewis robertylewis merged 483a6c23 into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum