Talk:Sum of Integrals on Adjacent Intervals for Integrable Functions/Lemma
Jump to navigation
Jump to search
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)