well_known): Coefficients of sin and cos (#15287)

Commit

3 years ago

feat(ring_theory/power_series/well_known): Coefficients of sin and cos (#15287) This PR adds lemmas for the coefficients of sin and cos.

Author

tb65536

Parents