OAI/Geometry/TamingCompatibility/HeatFlow/HodgePairingHeat.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatEvaluation line 23
2. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatEvaluation_continuous line 27
3. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatVector line 31
4. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatVector_continuous line 34
5. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatVector_integrable line 39
6. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingHeatVector_integral line 45
7. def OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingGammaTail line 66
8. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingGammaTail_continuous line 71
9. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeSmoothingCover.pairingGammaTail_integral line 78