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

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Translation and dilation of scalar test functions on the plane.

  1. def OAI.ForcedComputation.VelocityDetector.scalarAffineScale line 12
  2. theorem OAI.ForcedComputation.VelocityDetector.scalarAffineScale_smooth line 14
  3. theorem OAI.ForcedComputation.VelocityDetector.scalarAffineScale_hasFDerivAt line 21
  4. theorem OAI.ForcedComputation.VelocityDetector.spatialD_affine_scale line 25
  5. theorem OAI.ForcedComputation.VelocityDetector.scalarLaplacian_affine_scale line 37