Theorem Finset.sup'_union

Modification history