Theorem Set.union_singleton

Modification history