Theorem Set.Finite.infsep_pos_iff_nontrivial

Modification history