theorem Th31: :: MESFUN15:29

for r being Real
for E being Element of L-Field
for f being PartFunc of REAL,ExtREAL st E = {r} holds
f is E -measurable