Theorem Set.union_nonempty

Modification history