Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(geometry/euclidean/angle/unoriented/right_angle): trigonometric …
…lemmas (#17173) Add lemmas relating trigonometric functions and angles in right-angled triangles.
- Loading branch information