Theorem Finset.finite_iff_bddAbove

Modification history