6. l: Alph*
(Result(A(g))l) = l 
x,y:Alph*//(x L-induced Equiv y) Alph*Prop 
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 | 5. g: (x,y:Alph*//(x L-induced Equiv y)) 6. l: Alph* (Result(A(g))l) = l x,y:Alph*//(x L-induced Equiv y) |
About:
 |  |  |  |  |
 |  |  |  |