PrintForm Definitions languages Sections AutomataTheory Doc

At: lang power functionality 1
1. Alph: Type
2. L: LangOver(Alph)
3. L': LangOver(Alph)
4. n:
5. n':
6. L = L'
7. n = n'

(Ln) = (L'n')
By: RWH (RevHypC 7) 0
Generated subgoal:

1 (Ln) = (L'n)

About:
universeequal