alternating_sum_range_choose_of_ne — Mathlib · SciLib

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

alternating_sum_range_choose_of_ne

Mathlib.Data.Nat.Choose.Sum

URI: https://scilib.ai/kg/mathlib#Int.alternating_sum_range_choose_of_ne

← MathLib Explorer