Theorem Finset.sum_le_sum_range

Modification history

2025-04-09 03:56
Mathlib/Algebra/Order/Group/Int/Sum.lean
feat: IMO 2015 Q6 (#23038)
Added Finset.sum_le_sum_rangeView on Github →