Theorem Set.not_nonempty_empty

Modification history