PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
phole
aux
1
1.
f:
(1+1)
1
i:
(1+1), j:
i. f(i) = f(j)
By:
InstConcl [1;0]
Generated subgoals:
None
About:
(1+1)
1
i:(1+1), j:i. f(i) = f(j)
