Theorem Set.Finite.einfsep_exists_of_nontrivial

Modification history