theorem Th65: :: FUNCT_2:66

for X, Y, f being set st f in Funcs (X,Y) holds
f is Function of X,Y