Theorem Finset.fold_min_le

Modification history