Commit 2021-06-14 21:50 4a8ce41e
View on Github →feat(analysis/special_functions/trigonometric): facts about periodic trigonometric functions (#7841) I use the periodicity API that I added in #7572 to write lemmas about sine (real and complex), cosine (real and complex), tangent (real and complex), and the exponential function (complex only).