Theorem Set.inter_div_union_subset_union

Modification history