OAI/Geometry/WeakHessian/HeatFlow/HeatEVI.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.entropyReal_eq_reducedDensity line 23
2. lemma OAI.WeakHessian.CurvatureDimension.cheegerHeat_entropy_continuousOn line 39
3. lemma OAI.WeakHessian.CurvatureDimension.cheegerHeat_cost_ac line 66
4. lemma OAI.WeakHessian.RCD.cheegerHeat_comparison_ae line 88