Theorem Set.nontrivial_univ_iff

Modification history