mathlib3
505ffa9c - feat(analysis/special_functions/integrals): integral of `cos x ^ 2 - sin x ^ 2` (#7012)

Commit
4 years ago
feat(analysis/special_functions/integrals): integral of `cos x ^ 2 - sin x ^ 2` (#7012) An example of a direct application of integration by parts.
Parents
Loading