OAI/Geometry/WeakHessian/LocalBounds/SpatialDual.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.FullSupport.openPosMeasure line 21
2. lemma OAI.WeakHessian.continuous_le_of_ae_le line 25
3. lemma OAI.WeakHessian.continuous_dual_of_ball_averages line 30
4. lemma OAI.WeakHessian.RCD.cheegerHeat_dual_pointwise line 66
5. lemma OAI.WeakHessian.heat_continuousVersion_bounded line 99