Bij(
m
n; (n
m); 
z.f1( < z(m-1),f(z) > ))
(m-1)n)(nm-1)(m-1)n; (nm-1); f)
n = 0n
(nm-1)(nm)n(nm-1); (n
(nm-1)); f1) 
f:((mn)(nm)). Bij(mn; (nm); f)z.f1( < z(m-1),f(z) > )| 1 | Bij(mn; (nm); z.f1( < z(m-1),f(z) > )) |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |