theorem :: FINSEQ_3:149

for X, Y being set holds Funcs (X,<*Y*>) = <*(Funcs (X,Y))*>