theorem Th32: :: INTEGR24:32

for f being PartFunc of REAL,REAL
for a, b being Real st f is_left_ext_Riemann_integrable_on a,b holds
f is_left_improper_integrable_on a,b