OAI/MathematicalPhysics/NavierStokes/VelocityDetection/Model.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VelocityDetection.Coord line 10

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

  2. abbrev OAI.VelocityDetection.ScalarField line 12

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

  3. abbrev OAI.VelocityDetection.VectorField line 14

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

  4. theorem OAI.VelocityDetection.neZeroTwo line 16

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

  5. theorem OAI.VelocityDetection.neZeroThree line 18

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

  6. theorem OAI.VelocityDetection.neZeroFive line 20

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

  7. def OAI.VelocityDetection.spatialD line 22

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

  8. def OAI.VelocityDetection.timeD line 25

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

  9. def OAI.VelocityDetection.laplacian line 28

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

  10. def OAI.VelocityDetection.advection line 31

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

  11. def OAI.VelocityDetection.divergence line 34

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

  12. def OAI.VelocityDetection.NavierStokes line 37

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

  13. def OAI.VelocityDetection.horizontal line 45

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

  14. def OAI.VelocityDetection.liftScalar line 47
  15. def OAI.VelocityDetection.liftVelocity line 50
  16. theorem OAI.VelocityDetection.horizontal_update_zero line 53
  17. theorem OAI.VelocityDetection.horizontal_update_one line 58
  18. theorem OAI.VelocityDetection.horizontal_update_two line 63
  19. theorem OAI.VelocityDetection.spatialD_lift_zero line 68
  20. theorem OAI.VelocityDetection.spatialD_lift_one line 74
  21. theorem OAI.VelocityDetection.spatialD_lift_two line 80
  22. theorem OAI.VelocityDetection.spatialD_zero line 85
  23. theorem OAI.VelocityDetection.timeD_lift line 90
  24. theorem OAI.VelocityDetection.laplacian_lift line 93
  25. theorem OAI.VelocityDetection.advection_lift line 98
  26. theorem OAI.VelocityDetection.divergence_lift line 103
  27. def OAI.VelocityDetection.horizontalResidual line 113
  28. def OAI.VelocityDetection.triangularForce line 118
  29. theorem OAI.VelocityDetection.triangular_reduction line 121