theorem :: FUNCT_6:60

for f being Function-yielding Function holds dom (rngs f) = dom f by Def2;