Theorem Set.Finite.infsep_exists_of_nontrivial

Modification history