theorem Th38: :: MESFUN15:36

for f being PartFunc of REAL,REAL st dom f = REAL & f is_improper_integrable_on_REAL holds
for E being Element of L-Field holds f is E -measurable