Theorem Finset.fold_max_le

Modification history