OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Scalar/PlaneHeatSourceJetDerivative.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Continuous bounded source jets supply all hypotheses for Gaussian source differentiation.

  1. theorem OAI.ForcedComputation.PlaneHeat.hasDerivAt_heat_source_of_jets line 16