Description: A measurable function is integrable iff its absolute value is integrable. (See iblabs for the forward implication.) (Contributed by Mario Carneiro, 25-Aug-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | iblabsr.1 | |
|
iblabsr.2 | |
||
iblabsr.3 | |
||
Assertion | iblabsr | |