Theorem Finset.iSup_biUnion

Modification history