PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
1
1.
n:
2.
m:
3.
b:
(n
m)
0
(b
m)
By:
Inst
Thm*
a:
, n:
. 0
(a
n) [b;m]
Generated subgoals:
None
About:
(n
m)
0
(b 
m)
a:, n:. 0(a n)
[b;m]
