∫ Утверждение Mathlib
Mathlib.Data.FinEnum
URI: https://scilib.ai/kg/mathlib#FinEnum.card_eq_zero_iff
← MathLib Explorer