Theorem Set.nontrivial_of_exists_lt

Modification history