odd lemmas (#5404)

Commit

5 years ago

feat(analysis/special/functions/trigonometric): complex trig and some even/odd lemmas (#5404) Complex (and some real) trigonometry lemmas, parity propositions, and some field algebra.

Author

benjamindavidson

Parents

cc6f039f

mathlib3 08800bb7 - feat(analysis/special/functions/trigonometric): complex trig and some even/odd lemmas (#5404)

mathlib3
08800bb7 - feat(analysis/special/functions/trigonometric): complex trig and some even/odd lemmas (#5404)