OAI/MathematicalPhysics/NavierStokes/VelocityDetection/CenterPaths.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.CenterPaths.ramp line 14

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

  2. theorem OAI.VelocityDetection.CenterPaths.contDiff_ramp line 16
  3. theorem OAI.VelocityDetection.CenterPaths.ramp_nonneg line 20
  4. theorem OAI.VelocityDetection.CenterPaths.ramp_le_one line 22
  5. theorem OAI.VelocityDetection.CenterPaths.ramp_zero line 24
  6. theorem OAI.VelocityDetection.CenterPaths.ramp_one line 27
  7. def OAI.VelocityDetection.CenterPaths.theta line 30

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

  8. def OAI.VelocityDetection.CenterPaths.privateRow line 32

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

  9. def OAI.VelocityDetection.CenterPaths.center line 34

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

  10. theorem OAI.VelocityDetection.CenterPaths.contDiff_theta line 39
  11. theorem OAI.VelocityDetection.CenterPaths.contDiff_center line 43
  12. theorem OAI.VelocityDetection.CenterPaths.center_first_slot line 49
  13. theorem OAI.VelocityDetection.CenterPaths.center_second_slot line 55
  14. theorem OAI.VelocityDetection.CenterPaths.center_third_slot line 62
  15. theorem OAI.VelocityDetection.CenterPaths.nat_gap line 68
  16. theorem OAI.VelocityDetection.CenterPaths.scaled_nat_gap line 75
  17. theorem OAI.VelocityDetection.CenterPaths.separated line 80
  18. theorem OAI.VelocityDetection.CenterPaths.negative_height line 100
  19. theorem OAI.VelocityDetection.CenterPaths.center_source_collar line 122
  20. theorem OAI.VelocityDetection.CenterPaths.center_target_collar line 130
  21. theorem OAI.VelocityDetection.CenterPaths.center_start line 138
  22. theorem OAI.VelocityDetection.CenterPaths.center_end line 142
  23. theorem OAI.VelocityDetection.CenterPaths.contDiff_velocity line 149
  24. theorem OAI.VelocityDetection.CenterPaths.velocity_source_collar line 153
  25. theorem OAI.VelocityDetection.CenterPaths.velocity_target_collar line 162
  26. def OAI.VelocityDetection.CenterPaths.gate line 171
  27. theorem OAI.VelocityDetection.CenterPaths.contDiff_gate line 175
  28. theorem OAI.VelocityDetection.CenterPaths.gate_divergence line 180
  29. theorem OAI.VelocityDetection.CenterPaths.gate_zero_before line 186
  30. theorem OAI.VelocityDetection.CenterPaths.gate_zero_after line 193
  31. theorem OAI.VelocityDetection.CenterPaths.compactSupport_gate line 200
  32. theorem OAI.VelocityDetection.CenterPaths.gate_derivatives_bounded line 226