Theorem Set.nontrivial_of_lt

Modification history