Talk:Sum of Integrals on Adjacent Intervals for Integrable Functions/Lemma

This lemma is redundant, since it's just a special case of Lower Sum of Refinement. --CircuitCraft (talk) 05:50, 24 February 2023 (UTC)


 * This has now been resolved. --prime mover (talk) 06:28, 24 February 2023 (UTC)