Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.infinite_univ_nat

Modification history

2020-01-22 00:57
src/data/set/finite.lean
feat(order/filter/basic): prove `@cofinite ℕ = at_top` (#1888) …
Deleted set.infinite_univ_natView on Github →
2018-03-10 13:38
data/set/finite.lean
feat(group_theory): add a little bit of group theory; prove of Lagrange's theorem
Added set.infinite_univ_natView on Github →