Theorem Set.nontrivial_iff_exists_lt

Modification history