Description: An alternate expression for the S.2 integral that includes an arbitrarily small but strictly positive "buffer zone" wherever the simple function is nonzero. (Contributed by Brendan Leahy, 10-Oct-2017) (Revised by Brendan Leahy, 10-Mar-2018)
Ref | Expression | ||
---|---|---|---|
Hypothesis | itg2addnclem.1 | |
|
Assertion | itg2addnclem | |