OAI/Geometry/TamingCompatibility/HeatFlow/ResolventGammaScalar.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight line 12
2. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight_continuous line 14
3. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight_nonneg line 17
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight_integrable line 20
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight_laplace line 25
6. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaWeight_integral line 42
7. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGamma_integrable line 52
8. def OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGammaLinear line 65
9. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGammaLinear_norm_le line 75
10. def OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGamma line 89
11. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGamma_eigenvector line 93
12. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeHeatGamma_eq_sixth_power line 124
13. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_sq_eq_heat_integral line 153