theorem Th41: :: CFUNCT_1:42

for C being non empty set
for f, f1, g, g1 being PartFunc of C,COMPLEX holds (f / g) (#) (f1 / g1) = (f (#) f1) / (g (#) g1)