PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
n,m:
.
f:((
m
n)
(n
m)). Bij(
m
n;
(n
m); f)
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
m:
f:((
m
n)
(n
m)). Bij(
m
n;
(n
m); f)
About:
f:((m
n)(n
m)). Bij(mn; (nm); f) 
n,m:. f:((mn)(nm)). Bij(mn; (nm); f) f:((mn)(nm)). Bij(mn; (nm); f)
