PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: mem f dec

S:Type, s:S, l:S*. Fin(S) Dec(mem_f(S;s;l))
By: RepD
Generated subgoal:

11. S: Type
2. s: S
3. l: S*
4. Fin(S)
Dec(mem_f(S;s;l))

About:
alluniverselistimplies