Theorem Set.Nontrivial.exists_ne

Modification history