oriented): base angles of isosceles triangles are acute (#17823)

Commit

3 years ago

feat(geometry/euclidean/angle/oriented): base angles of isosceles triangles are acute (#17823) Add some versions of the lemma that (oriented) based angles of isosceles triangles are acute.

Author

jsm28

Parents

fa256f00

mathlib 10ac9529 - feat(geometry/euclidean/angle/oriented): base angles of isosceles triangles are acute (#17823)

mathlib
10ac9529 - feat(geometry/euclidean/angle/oriented): base angles of isosceles triangles are acute (#17823)