Theorem Set.infinite_iff_infinite_of_encard_eq_encard

Modification history