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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Finite-slab spatial derivative bounds for the unique scalar solution.

  1. theorem OAI.ForcedComputation.VelocityDetector.PlaneSpatialBounds.restrict line 12
  2. theorem OAI.ForcedComputation.VelocityDetector.PlaneSpatialBounds.congr line 17
  3. theorem OAI.ForcedComputation.VelocityDetector.PlaneScalarSolution.spatial_bounds line 26