Theorem Set.nontrivial_of_univ_nontrivial

Modification history