∫ Утверждение Mathlib
card_antidiagonal
Mathlib.Data.Finset.NatAntidiagonal
URI: https://scilib.ai/kg/mathlib#Finset.Nat.card_antidiagonal
∫ Утверждение Mathlib
Mathlib.Data.Finset.NatAntidiagonal
URI: https://scilib.ai/kg/mathlib#Finset.Nat.card_antidiagonal