Theorem Set.inter_vsub_union_subset_union

Modification history