PrintForm Definitions languages Sections AutomataTheory Doc

At: lang eq weakening 1 1 1 1
1. Alph: Type
2. L: LangOver(Alph)
3. M: LangOver(Alph)
4. L = M
5. l: Alph*

M(l) M(l)
By: Unfold `languages` 3
Generated subgoals:

None

About:
applyuniverseequallist