theorem Th31: :: RFUNCT_1:31

for f, g being complex-valued Function holds f / g = f (#) (g ^)