Theorem Set.nontrivial_of_nontrivial

Modification history