Description: A sort of absolute continuity of the Lebesgue integral (this is the core of ftc1a which is about actual absolute continuity). (Contributed by Mario Carneiro, 1-Sep-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itg2cn.1 | |
|
itg2cn.2 | |
||
itg2cn.3 | |
||
itg2cn.4 | |
||
Assertion | itg2cn | |