Theorem Set.empty_union

Modification history