Theorem Set.union_star

Modification history