Theorem Set.biInter_subset_biUnion

Modification history