Theorem Finset.fold_max_lt

Modification history