Theorem Finset.finite_iff_bddBelow_bddAbove

Modification history

2023-07-10 12:17
Mathlib/Order/LocallyFinite.lean
fix: fix wrong namespace for finite_iff_bdd lemmas (#5783) …
Deleted Finset.finite_iff_bddBelow_bddAboveView on Github →
2023-07-01 12:38
Mathlib/Order/LocallyFinite.lean
feat: Add finite iff bounded lemmas (#5567) …
Added Finset.finite_iff_bddBelow_bddAboveView on Github →