Theorem Finset.subset_set_biUnion_of_mem

Modification history