Theorem Set.union_subset

Modification history