Theorem Set.finite_iff_bddBelow_bddAbove

Modification history