triangle): oangle_add_oangle_add_oangle_eq_pi (#17781)

Commit

3 years ago

feat(geometry/euclidean/triangle): oangle_add_oangle_add_oangle_eq_pi (#17781) All the work was basically already done for this result.

Author

eric-wieser

Parents