OAI/MathematicalPhysics/NavierStokes/VelocityDetection/Observation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.Observation.join line 11

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:110 (same declaration text).

  2. theorem OAI.VelocityDetection.Observation.horizontal_join line 13
  3. def OAI.VelocityDetection.Observation.torusEvent line 17

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:112 (same declaration text).

  4. def OAI.VelocityDetection.Observation.upperHalfPlane line 22

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:117 (same declaration text).

  5. def OAI.VelocityDetection.Observation.planeMass line 24

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:119 (same declaration text).

  6. def OAI.VelocityDetection.Observation.planeEvent line 29

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:124 (same declaration text).

  7. theorem OAI.VelocityDetection.Observation.normalized_vertical_period line 32
  8. theorem OAI.VelocityDetection.Observation.planeMass_lift line 39
  9. theorem OAI.VelocityDetection.Observation.planeEvent_lift line 44
  10. theorem OAI.VelocityDetection.Observation.torusEvent_lift line 49