Theorem Set.nonempty_iff_ne_empty

Modification history