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

infinite_iff_infinite_of_encard_eq_encard

Mathlib.Data.Set.Card

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

← MathLib Explorer