mathlib
99215e3d
- feat(analysis/special_functions/trigonometric/angle): `sin`, `cos` (#11887)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(analysis/special_functions/trigonometric/angle): `sin`, `cos` (#11887) Add definitions of `sin` and `cos` that act on a `real.angle`.
Author
jsm28
Parents
98ef84ef
Loading