PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: lang rel refl

A:Type, L:LangOver(A). Refl(A*;x,y.x L-induced Equiv y)
By: UnivCD
Generated subgoal:

11. A: Type
2. L: LangOver(A)
Refl(A*;x,y.x L-induced Equiv y)

About:
alluniverselist