OAI/Geometry/WeakHessian/LocalBounds/IdentifiedConservation.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.identified_cheegerHeat_davies_generator line 23
2. lemma OAI.WeakHessian.identified_cheegerResolvent_davies line 59
3. lemma OAI.WeakHessian.identified_cheegerResolvent_weighted line 92
4. lemma OAI.WeakHessian.identified_cheegerResolvent_weighted_norm line 110
5. lemma OAI.WeakHessian.identified_cheegerHeat_davies line 133
6. lemma OAI.WeakHessian.identified_cheegerHeat_weighted line 154
7. lemma OAI.WeakHessian.identified_cheegerHeat_weighted_norm line 172
8. lemma OAI.WeakHessian.identified_cheegerHeat_laplacian_integral_zero line 187
9. lemma OAI.WeakHessian.identified_cheegerHeat_mass_weighted_generator line 206
10. lemma OAI.WeakHessian.identified_cheegerHeat_mass_of_weighted_resolvents line 267
11. lemma OAI.WeakHessian.identified_cheegerHeat_mass_localized line 320