OAI/Geometry/TamingCompatibility/HeatFlow/HodgeHeatEvaluation.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeSpectralHeat_symmetric line 22
2. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeSpectralHeat_doubled_inner line 29
3. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluation line 42
4. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluation_continuous line 45
5. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluation_smooth line 48
6. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluationVector line 57
7. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluationVector_continuous line 60
8. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatEvaluationVector_integrable line 64
9. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatRegularize line 68
10. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatRegularize_pair line 71
11. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatInnerKernel line 79
12. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatInnerKernel_continuous line 82
13. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.heatRegularize_inner line 87