Description: Approximate equality of integrals. If C ( x ) = D ( x ) for almost all x , then S. B C ( x )d x = S. B D ( x ) d x and one is integrable iff the other is. (Contributed by Mario Carneiro, 12-Aug-2014) (Revised by Mario Carneiro, 2-Sep-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itgeqa.1 | |
|
itgeqa.2 | |
||
itgeqa.3 | |
||
itgeqa.4 | |
||
itgeqa.5 | |
||
Assertion | itgeqa | |