A Mechanized Proof of the Basic Perturbation Lemma | Publicación