OAI/MathematicalPhysics/NavierStokes/Material/Clock.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Alternating.clock line 8
  2. theorem OAI.Alternating.clock_smooth line 10
  3. theorem OAI.Alternating.clock_zero line 12
  4. theorem OAI.Alternating.clock_one line 15
  5. theorem OAI.Alternating.clock_mem line 18
  6. theorem OAI.Alternating.clock_monotone line 21
  7. theorem OAI.Alternating.clock_deriv_nonneg line 24
  8. theorem OAI.Alternating.clock_deriv_collar line 26
  9. theorem OAI.Alternating.clock_deriv_support line 38
  10. theorem OAI.Alternating.clock_deriv_compact line 47
  11. theorem OAI.Alternating.clock_derivatives_bounded line 50
  12. theorem OAI.Alternating.clock_total_progress line 61