OAI/MathematicalPhysics/NavierStokes/Material/Signal.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Alternating.Memory.signalIncrement line 9
  2. def OAI.Alternating.Memory.signal line 13
  3. def OAI.Alternating.Memory.signalAlong line 17
  4. theorem OAI.Alternating.Memory.signalAlong_zero line 20
  5. theorem OAI.Alternating.Memory.signalAlong_one line 23
  6. theorem OAI.Alternating.Memory.signalIncrement_bounds line 26
  7. theorem OAI.Alternating.Memory.signalIncrement_le line 33
  8. theorem OAI.Alternating.Memory.signal_bounds line 39
  9. theorem OAI.Alternating.Memory.signal_mem line 50
  10. theorem OAI.Alternating.Memory.signalAlong_mem line 57
  11. theorem OAI.Alternating.Memory.signal_unhalted line 62
  12. theorem OAI.Alternating.Memory.signalAlong_unhalted line 71
  13. theorem OAI.Alternating.Memory.signal_first_halt line 87
  14. theorem OAI.Alternating.Memory.signal_hit_iff line 94