basic): prove `@cofinite ℕ = at_top`
#1888

Merged

feat(order/filter/basic): prove `@cofinite ℕ = at_top` #1888

mergify merged 6 commits into master from infinite

feat(order/filter/basic): prove `@cofinite ℕ = at_top`

c2b8c7bb

cipher1024 assigned

sgouezel 6 years ago

gebner commented on 2020-01-17

Update src/data/equiv/basic.lean

cde6c31e

Merge branch 'master' into infinite

fe40d6f0

jcommelin approved these changes on 2020-01-17

ChrisHughes24 commented on 2020-01-19

urkud added awaiting-author

Merge branch 'master' into infinite

663df632

Drop a duplicate definition, thanks @ChrisHughes24

c7f31258

urkud removed awaiting-author

urkud added awaiting-review

sgouezel removed awaiting-review

sgouezel added ready-to-merge

Merge branch 'master' into infinite

1195ae55

mergify merged 96ee2a69 into master 6 years ago

mergify deleted the infinite branch 6 years ago

Reviewers

jcommelin

ChrisHughes24

gebner

Assignees

sgouezel

Labels

ready-to-merge

Milestone

No milestone