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