Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.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) …
Added
Set.finite_iff_bddBelow_bddAbove
View on Github →