Theorem Set.finite_iff_finite_of_encard_eq_encard

Modification history