Closed remimorvan closed 2 years ago
l136: and $\seq{\Tc_1, \Tc_2, \dots, \Tc_k}$ \reintro{embeds} Add quotes? [y/n] n