Theorem Set.not_nontrivial_singleton

Modification history