OAI/Geometry/WeakHessian/HeatFlow/CompactHeatPairing.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.CurvatureDimension.heatProbability_moment line 23
2. lemma OAI.WeakHessian.sqrt_transport_contraction line 36
3. lemma OAI.WeakHessian.RCD.cheegerHeat_pairing_balls line 46