Theorem Set.union_empty_iff

Modification history