Theorem Finset.fold_min_lt

Modification history