PrintForm
Definitions
automata
7
Sections
AutomataTheory
Doc
At:
auto1
lang
1
1
1.
l:
2*. LangOf(Auto
)(l)
n:
2. n = 0
(
l:
2*. LangOf(Auto
)(l))
By:
Witness 0
THEN
Fold `languages` 0
Generated subgoals:
None
About:
l:
2*. LangOf(Auto
)(l)
n:2. n = 0 
(l:2*. LangOf(Auto)(l))
