∫ Утверждение Mathlib
ncard_le_encard
Mathlib.Data.Set.Card
URI: https://scilib.ai/kg/mathlib#Set.ncard_le_encard
∫ Утверждение Mathlib
Mathlib.Data.Set.Card
URI: https://scilib.ai/kg/mathlib#Set.ncard_le_encard