Theorem Finset.univ_nonempty_iff

Modification history