PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
2
1
2
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
0 < (n
m-1)
By:
Inst
Thm*
m:
, n:
. 0 < (m
n) [n;m-1]
Generated subgoals:
None
About:
(m-1)
n)(n
m-1)(m-1)n; (nm-1); f)
n = 0
0 < (nm-1)
m:
, n:. 0 < (mn)
[n;m-1]
