Theorem Finset.sup_union

Modification history