-lemma fsle_fwd_pair_sn: â\88\80I1,I2,L1,L2,V1,V2,T1,T2. â¦\83L1.â\93\91{I1}V1,T1â¦\84 â\8a\86 â¦\83L2.â\93\91{I2}V2,T2â¦\84 →
- â¦\83L1.â\93§,T1â¦\84 â\8a\86 â¦\83L2.â\93\91{I2}V2,T2â¦\84.
+lemma fsle_fwd_pair_sn: â\88\80I1,I2,L1,L2,V1,V2,T1,T2. â\9d¨L1.â\93\91[I1]V1,T1â\9d© â\8a\86 â\9d¨L2.â\93\91[I2]V2,T2â\9d© →
+ â\9d¨L1.â\93§,T1â\9d© â\8a\86 â\9d¨L2.â\93\91[I2]V2,T2â\9d©.