Description: The S. integral splits on open intervals with matching endpoints. (Contributed by Mario Carneiro, 2-Sep-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itgsplitioo.1 | |
|
itgsplitioo.2 | |
||
itgsplitioo.3 | |
||
itgsplitioo.4 | |
||
itgsplitioo.5 | |
||
itgsplitioo.6 | |
||
Assertion | itgsplitioo | |