-lemma cpg_ell_drops: â\88\80c,h,G,K,V,V2,i,L,T2. â¬\87*[i] L â\89¡ K.â\93\9bV â\86\92 â¦\83G, Kâ¦\84 â\8a¢ V â\9e¡[c, h] V2 →
- â¬\86*[⫯i] V2 â\89¡ T2 â\86\92 â¦\83G, Lâ¦\84 â\8a¢ #i â\9e¡[(↓c)+𝟘𝟙, h] T2.
+lemma cpg_ell_drops: â\88\80c,h,G,K,V,V2,i,L,T2. â¬\87*[i] L â\89¡ K.â\93\9bV â\86\92 â¦\83G, Kâ¦\84 â\8a¢ V â¬\88[c, h] V2 →
+ â¬\86*[⫯i] V2 â\89¡ T2 â\86\92 â¦\83G, Lâ¦\84 â\8a¢ #i â¬\88[(↓c)+𝟘𝟙, h] T2.