Theorem Set.Nonempty.of_sUnion

Modification history