2. L: LangOver(Alph)
3. L': LangOver(Alph)
4. L = L'
l.
n:
. (L
n)(l) = l.n:. (L'n)(l) 
Alph:Type, L,L':LangOver(Alph). L = L' 
(L
) = (L')| 1 | 1. Alph: Type 2. L: LangOver(Alph) 3. L': LangOver(Alph) 4. L = L' l.n:. (Ln)(l) = l.n:. (L'n)(l) |
About:
 |  |  |  |  |  |