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

Commit

6 years ago

feat(geometry/euclidean): sum of angles of a triangle (#2994) Item 27 from the 100-theorems list.

Author

jsm28

Parents