PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
2
1
1
1
1
1
1
1
1
1.
n:
2.
m:
3.
0 < m
4.
f:
(
(m-1)
n)
(n
m-1)
5.
Bij(
(m-1)
n;
(n
m-1); f)
6.
n = 0
7.
a1:
m
n
8.
a2:
m
n
9.
a1(0) = a2(0)
(n
m)
10.
x:
m
a1(x) = a2(x)
By:
Analyze 9
Generated subgoal:
1
9.
a1(0) = a2(0)
10.
0
a1(0) < (n
m)
11.
x:
m
a1(x) = a2(x)
About:
a1(0) < (n
m)
m
a1(x) = a2(x)
(m-1)
n)(nm-1)(m-1)n; (nm-1); f)mnmn
(nm)m a1(x) = a2(x) a1(0) < (nm)m a1(x) = a2(x)
