PrintForm Definitions det automata Sections AutomataTheory Doc

At: accept list qwf 1
1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y))

Auto(l)
By: Unfold `accept_list` 0
Generated subgoal:

1 FinalState(Auto)(Result(Auto)l)

About:
memberbooluniversequotientlistequalapply