PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
6
1
1.
n:
2.
m:
3.
b:
(n
m)
4.
a1:
n
5.
a2:
m
0
a1
m+a2
By:
Inst
Thm*
a,b:
. 0
a
b [a1;m]
Generated subgoals:
None
About:
(n
m)nm
0
a1m+a2
a,b:. 0ab
[a1;m]
