Theorem Set.finite_iff_bddAbove

Modification history

2023-10-26 11:12
Mathlib/Order/LocallyFinite.lean
chore: fix whitespace typos (#7950)
Modified Set.finite_iff_bddAboveView on Github →
2023-07-10 12:17
Mathlib/Order/LocallyFinite.lean
fix: fix wrong namespace for finite_iff_bdd lemmas (#5783) …
Added Set.finite_iff_bddAboveView on Github →