OAI/Geometry/WeakHessian/HeatFlow/HeatDensity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.heatDensity line 48
2. lemma OAI.WeakHessian.heatDensity_coe line 51
3. lemma OAI.WeakHessian.heatDensity_mass line 57
4. lemma OAI.WeakHessian.heatDensity_bounds line 65
5. lemma OAI.WeakHessian.heatDensity_continuousOn line 77
6. lemma OAI.WeakHessian.heatDensity_affine_deriv line 84