Theorem Set.nonempty_iff_univ_nonempty

Modification history