OAI/Geometry/WeakHessian/HeatFlow/CheegerHeat.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.cheegerHeat line 47
2. lemma OAI.WeakHessian.cheegerHeat_zero line 50
3. lemma OAI.WeakHessian.cheegerHeat_add line 53
4. lemma OAI.WeakHessian.cheegerHeat_contractive line 56
5. lemma OAI.WeakHessian.cheegerHeat_symmetric line 61
6. lemma OAI.WeakHessian.cheegerHeat_strong_zero line 64
7. lemma OAI.WeakHessian.cheegerHeat_normal_fixed line 72
8. lemma OAI.WeakHessian.cheegerHeat_nonneg line 81
9. lemma OAI.WeakHessian.cheegerHeat_order line 99
10. lemma OAI.WeakHessian.cheegerHeat_interval line 116
11. lemma OAI.WeakHessian.cheegerHeat_bounded line 134