2. L: LangOver(Alph)
3. L': LangOver(Alph)
4. n:
5. n':
6. L = L'
7. n = n'
(L
n) = (L'n') 
Alph:Type, L,L':LangOver(Alph), n,n':. L = L' 
n = n' (Ln) = (L'n')| 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') |
About:
 |  |  |  |