OAI/Geometry/WeakHessian/HeatFlow/CheegerScaledResolventNonneg.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.cheeger_scaled_resolvent_nonneg line 47
2. lemma OAI.WeakHessian.scaled_generator_weighted line 73
3. lemma OAI.WeakHessian.CurvatureDimension.cheegerResolvent_mass_localized line 86