PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1.
n:
2.
m:
3.
b:
(n
m)
a:(
n
m). (
z.1of(z)
m+2of(z))(a) = b
By:
Reduce 0
Generated subgoal:
1
a:(
n
m). 1of(a)
m+2of(a) = b
(n
m)
About:
a:(
n
m). 1of(a)
m+2of(a) = b 
(nm)
(nm) a:(nm). (
z.1of(z)m+2of(z))(a) = b a:(nm). 1of(a)m+2of(a) = b (nm)
