2. L: LangOver(Alph)
g:((x,y:Alph*//(x L-induced Equiv y))
), l:Alph*.
(Result(A(g))l) = l 
x,y:Alph*//(x L-induced Equiv y) Alph:Type, L:LangOver(Alph), g:((x,y:Alph*//(x L-induced Equiv y))), l:Alph*.
(Result(A(g))l) = l x,y:Alph*//(x L-induced Equiv y)| 1 | 1. Alph: Type 2. L: LangOver(Alph) g:((x,y:Alph*//(x L-induced Equiv y))), l:Alph*.
(Result(A(g))l) = l x,y:Alph*//(x L-induced Equiv y) |
About:
 |  |  |  |  |  |  |