∫ Утверждение Mathlib

finite_iff_finite_of_encard_eq_encard

Mathlib.Data.Set.Card

URI: https://scilib.ai/kg/mathlib#Set.finite_iff_finite_of_encard_eq_encard

← MathLib Explorer