PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp car wf 1
1. Alph: Type
2. St: Type
3. C: NComp(Alph;St)

|C| Alph*
By: Unfold `nd_comp_car` 0
Generated subgoal:

1 2of(hd(C)) Alph*

About:
memberlistuniverse