theorem :: FUNCT_6:59

for f being Function-yielding Function holds dom (doms f) = dom f by Def1;