mathlib3
feat(order/conditionally_complete_lattice): add complete_linear_order instance for enat
#1633

Merged

feat(order/conditionally_complete_lattice): add complete_linear_order instance for enat #1633

mergify merged 2 commits into leanprover-community:master from gebner:complete_enat

feat(order/conditionally_complete_lattice): add complete_linear_order…

23d61499

kim-em approved these changes on 2019-10-31

jcommelin approved these changes on 2019-10-31

jcommelin added ready-to-merge

Merge branch 'master' into complete_enat

ea91376f

mergify merged 6b51787e into master 6 years ago

Reviewers

jcommelin

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone