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)