Theorem Set.union_empty

Modification history