feat(geometry/euclidean): sum of angles of a triangle (#2994)
feat(geometry/euclidean): sum of angles of a triangle (#2994)

Item 27 from the 100-theorems list.






leanprover-community/mathlib,leanprover-community/mathlib