Theorem Finset.set_biUnion_coe

Modification history