Theorem Finset.fold_sup_univ

Modification history