Theorem Finset.sum_le_sum_Ioc

Modification history

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