Theorem integral_sin_pow_succ_le

Modification history

2025-08-27 10:43
Mathlib/Analysis/SpecialFunctions/Integrals/Basic.lean
chore: remove parentheses in interval integral notation (#29017) …
Modified integral_sin_pow_succ_leView on Github →
2023-06-08 19:16
Mathlib/Analysis/SpecialFunctions/Integrals.lean
feat: port Analysis.SpecialFunctions.Integrals (#4860)
Added integral_sin_pow_succ_leView on Github →