PrintForm Definitions languages Sections AutomataTheory Doc

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

L = M
By: RWH (HypC 4) 0
Generated subgoal:

1 M = M

About:
universeequal