-lemma cpxs_fwd_beta: â\88\80h,o,a,G,L,V,W,T,U. â¦\83G, Lâ¦\84 â\8a¢ â\93\90V.â\93\9b{a}W.T â\9e¡*[h, o] U →
- â\93\90V.â\93\9b{a}W.T â\89\82 U â\88¨ â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}â\93\9dW.V.T â\9e¡*[h, o] U.
+lemma cpxs_fwd_beta: â\88\80h,o,a,G,L,V,W,T,U. â¦\83G, Lâ¦\84 â\8a¢ â\93\90V.â\93\9b{a}W.T â¬\88*[h, o] U →
+ â\93\90V.â\93\9b{a}W.T â\89\82 U â\88¨ â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}â\93\9dW.V.T â¬\88*[h, o] U.