Theorem Finset.sUnion_disjiUnion

Modification history