OAI/Geometry/TamingCompatibility/HeatFlow/
207 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- FlatHeat.lean 29 declarations
- HodgeActualResolvent.lean 1 declarations
- HodgeBoundedWeakHeat.lean 3 declarations
- HodgeClosedResolvent.lean 7 declarations
- HodgeContinuousResolvent.lean 2 declarations
- HodgeGlobalHeatBound.lean 4 declarations
- HodgeHeatBoundL2.lean 4 declarations
- HodgeHeatEvaluation.lean 13 declarations
- HodgeHeatIdentification.lean 27 declarations
- HodgeHeatJointSmooth.lean 1 declarations
- HodgeHeatSmoothing.lean 9 declarations
- HodgeHeatWeight.lean 3 declarations
- HodgePairingHeat.lean 9 declarations
- HodgePairingHeatStar.lean 3 declarations
- HodgePushedHeatBound.lean 5 declarations
- HodgeResolvent.lean 14 declarations
- HodgeResolvent2.lean 1 declarations
- HodgeResolventDifferential.lean 5 declarations
- HodgeResolventParameters.lean 7 declarations
- HodgeResolventParametrix.lean 1 declarations
- HodgeResolventSpatial.lean 1 declarations
- HodgeResolventStar.lean 4 declarations
- HodgeSmoothResolvent.lean 1 declarations
- HodgeSpectralHeat.lean 16 declarations
- HodgeWedgeResolvent.lean 1 declarations
- ResolventGammaScalar.lean 13 declarations
- ResolventTaylor.lean 4 declarations
- VariationalResolvent.lean 19 declarations