Theorem Set.subset_union_right

Modification history