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

Merged

Commits

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

urkud committed 6 years ago
Update src/data/equiv/basic.lean

urkud committed 6 years ago
Merge branch 'master' into infinite

urkud committed 6 years ago
Merge branch 'master' into infinite

urkud committed 6 years ago
Drop a duplicate definition, thanks @ChrisHughes24

urkud committed 6 years ago
Merge branch 'master' into infinite

mergify[bot] committed 6 years ago