PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp car wf

Alph,St:Type, C:NComp(Alph;St). |C| Alph*
By: UnivCD
Generated subgoal:

11. Alph: Type
2. St: Type
3. C: NComp(Alph;St)
|C| Alph*

About:
alluniversememberlist