PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: lang rel equi 1 1
1. A: Type
2. L: LangOver(A)

Refl(A*;x,y.x L-induced Equiv y)
By: BackThru Thm* L:LangOver(A). Refl(A*;x,y.x L-induced Equiv y)
Generated subgoals:

None

About:
listuniverse