Theorem Set.nontrivial_pair

Modification history