feat(geometry/euclidean/triangle): add Stewart's Theorem + one similarity lemma (#7327)
feat(geometry/euclidean/triangle): add Stewart's Theorem + one similarity lemma (#7327)






leanprover-community/mathlib,leanprover-community/mathlib