Theorem Set.eq_singleton_or_nontrivial

Modification history