theorem :: VALUED_2:28

for c being Complex
for g being complex-valued Function holds dom (g (/) c) = dom g by VALUED_1:def 5;