-lemma cpxs_delta: ∀h,I,G,K,V1,V2. ⦃G, K⦄ ⊢ V1 ⬈*[h] V2 →
- â\88\80W2. â¬\86*[1] V2 â\89\98 W2 â\86\92 â¦\83G, K.ⓑ{I}V1⦄ ⊢ #0 ⬈*[h] W2.
+lemma cpxs_delta: ∀h,I,G,K,V1,V2. ⦃G,K⦄ ⊢ V1 ⬈*[h] V2 →
+ â\88\80W2. â\87§*[1] V2 â\89\98 W2 â\86\92 â¦\83G,K.ⓑ{I}V1⦄ ⊢ #0 ⬈*[h] W2.