theorem :: VALUED_2:69

for X being set
for Y being complex-functions-membered set
for f being PartFunc of X,Y
for g being complex-valued Function holds f <#> (- g) = <-> (f <#> g)