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

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Scalar comparison and uniqueness from the maximum principle.

  1. theorem OAI.ForcedComputation.VelocityDetector.spatialD_sub line 12
  2. theorem OAI.ForcedComputation.VelocityDetector.scalarGenerator_sub line 19
  3. theorem OAI.ForcedComputation.VelocityDetector.TorusScalarSolution.sub line 33
  4. theorem OAI.ForcedComputation.VelocityDetector.TorusScalarSolution.compare line 51
  5. theorem OAI.ForcedComputation.VelocityDetector.TorusScalarSolution.unique line 62