Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.infinite_of_not_bdd_below

Modification history

2023-08-28 11:58
src/data/set/finite.lean
chore(order/liminf_limsup): Generalise and move lemmas (#18628) …
Modified set.infinite_of_not_bdd_belowView on Github →
2022-03-11 06:44
src/data/set/finite.lean
feat(data/nat/{nth,prime}): add facts about primes (#12560) …
Added set.infinite_of_not_bdd_belowView on Github →