PrintForm Definitions myhill nerode Sections AutomataTheory Doc

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

a,z:A*. L(z @ a) L(z @ a)
By: Unfold `languages` 2
Generated subgoals:

None

About:
alllistapplyuniverse