OAI/Geometry/WeakHessian/Curvature/DecayWeight.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.CurvatureDimension.exists_decay_weight line 50
2. lemma OAI.WeakHessian.memLp_exp_dist_of_support line 59
3. lemma OAI.WeakHessian.densityMeasure_probability_of_integrable line 74
4. lemma OAI.WeakHessian.CurvatureDimension.cheegerHeat_mass_supported line 83
5. lemma OAI.WeakHessian.CurvatureDimension.cheegerHeat_probability_supported line 102