Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dGamma_integrand_is_o_at_top

Modification history