mathlib

aa37eeea - feat(analysis/special_functions/integrals): integral of `cos x ^ n` (#7402)

feat(analysis/special_functions/integrals): integral of `cos x ^ n` (#7402) The reduction of `∫ x in a..b, cos x ^ n`, ∀ n ∈ ℕ, 2 ≤ n, as well as the integral of `cos x ^ 2` as a special case.