PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
nsub
is
finite
1
1
1
1
2
1
1
1
1.
n:
2.
b:
n
a:
n. a = b
By:
Witness b
Generated subgoals:
None
About:
n
a:n. a = b
