Theorem Set.finite_iff_bddBelow

Modification history