Theorem Set.biUnion_subset_biUnion_left

Modification history