trigonometric): a few lemmas (#11217)

Commit

3 years ago

feat(analysis/special_functions/trigonometric): a few lemmas (#11217) Add a few trivial lemmas about `arcsin`/`arccos`.

Author

urkud

Parents