OAI/Geometry/WeakHessian/HeatFlow/WeightedHeatPairing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.radial_tail_memLp line 21
2. lemma OAI.WeakHessian.radial_tail_norm_tendsto line 28
3. lemma OAI.WeakHessian.weighted_pairing_cutoff_error line 41
4. lemma OAI.WeakHessian.integral_mul_eq_inner_toLp line 62
5. lemma OAI.WeakHessian.weighted_pairing_tendsto line 69
6. lemma OAI.WeakHessian.CurvatureDimension.cheegerHeat_weighted_pairing_continuous line 103