theorem Th35: :: LPSPACC1:35

for a being Complex
for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S
for f, g being PartFunc of X,COMPLEX st f in L1_CFunctions M & g in L1_CFunctions M & a.e-Ceq-class (f,M) = a.e-Ceq-class (g,M) holds
a.e-Ceq-class ((a (#) f),M) = a.e-Ceq-class ((a (#) g),M)