Theorem Finset.sup_sigma

Modification history