feat(analysis/special_functions/trigonometric): add mistakenly omitted lemma (#6036)
feat(analysis/special_functions/trigonometric): add mistakenly omitted lemma (#6036)






leanprover-community/mathlib,leanprover-community/mathlib