theorem :: FINSEQ_3:147

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