Theorem Set.union_mul_inter_subset_union

Modification history