theorem :: CFUNCT_1:46

for C being non empty set
for f, g being PartFunc of C,COMPLEX holds
( - (f / g) = (- f) / g & f / (- g) = - (f / g) )