Mathlib Changelog
v4
Changelog
About
Github
Theorem
integrableOn_Ioi_deriv_norm_ofReal_cpow
Modification history
2025-07-04 10:05
Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean
chore: whitespace before `:` (#26727) …
Modified
integrableOn_Ioi_deriv_norm_ofReal_cpow
View on Github →
2025-01-27 10:18
Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean
feat(NumberTheory/LSeries): results involving partial sums of coefficients (part 1) (#20661) …
Added
integrableOn_Ioi_deriv_norm_ofReal_cpow
View on Github →