mathlib3

fabf34f4 - feat(analysis/special_functions/trigonometric): Added lemmas for deriv of tan (#3746)

feat(analysis/special_functions/trigonometric): Added lemmas for deriv of tan (#3746) I added lemmas for the derivative of the tangent function in both the complex and real namespaces. I also corrected two typos in comment lines. <!-- put comments you want to keep out of the PR commit here -->