PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp length wf

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

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

About:
alluniversememberint