Theorem Set.Nontrivial.infsep_exists_of_finite

Modification history