Theorem Finset.finite_iff_bddBelow

Modification history