OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Detector/CylinderMeasure.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

The product of planar volume and one unit of vertical period.

  1. def OAI.ForcedComputation.VelocityDetector.verticalPeriodMeasure line 13
  2. instance OAI.ForcedComputation.VelocityDetector.(instance at line 15) line 15
  3. def OAI.ForcedComputation.VelocityDetector.cylinderMeasure line 19
  4. abbrev OAI.ForcedComputation.VelocityDetector.CylinderL2 line 22
  5. def OAI.ForcedComputation.VelocityDetector.CylinderContinuousL2 line 24
  6. def OAI.ForcedComputation.VelocityDetector.CylinderC1L2 line 28