OAI/Geometry/WeakHessian/Calculus/GammaLimits.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.memLp_gamma_lipschitz line 19
2. lemma OAI.WeakHessian.norm_gamma_lipschitz_le line 26
3. lemma OAI.WeakHessian.abs_integral_mul_le_L2_norm line 46
4. lemma OAI.WeakHessian.abs_weighted_gamma_lipschitz_le line 56
5. lemma OAI.WeakHessian.weighted_gamma_root_difference_bound line 65