A Formalized Extension of the Substitution Lemma in Coq. - Maria J. D. Lima; Flávio L. C. de Moura (FROM, 2023)