trigonometric): add a lemma (#13975)

Commit

3 years ago

feat(analysis/special_functions/trigonometric): add a lemma (#13975) Add a lemma needed for #13178

Author

urkud

Parents