Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature - Joseph Tooby-Smith (2026)