PrintForm Definitions det automata Sections AutomataTheory Doc

At: compute 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))

(Result(Auto)l) St
By:
Unfold `member` 0
THEN
Analyze 4
Generated subgoals:

None

About:
memberuniversequotientlistequal