Theorem Finset.le_fold_max

Modification history