Theorem AntitoneOn.sum_le_integral_Ico

Modification history

2026-06-17 15:15
Mathlib/Analysis/SumIntegralComparisons.lean
chore(Analysis/SumIntegralComparisons): golf proofs (#40655) …
Modified AntitoneOn.sum_le_integral_IcoView on Github →
2023-06-09 13:13
Mathlib/Analysis/SumIntegralComparisons.lean
feat: port Analysis.SumIntegralComparisons (#4902)
Added AntitoneOn.sum_le_integral_IcoView on Github →