mathlib3

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