Theorem Finset.sum_Ico_le_sum

Modification history

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