OAI/MathematicalPhysics/NavierStokes/Material/Decoder.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Alternating.Memory.periodicDecoder line 8
  2. theorem OAI.Alternating.Memory.periodicDecoder_periodic line 11
  3. theorem OAI.Alternating.Memory.periodicDecoder_on_unit line 15
  4. theorem OAI.Alternating.Memory.periodicDecoder_on_safe line 19
  5. theorem OAI.Alternating.Memory.periodicDecoder_near_zero line 25
  6. theorem OAI.Alternating.Memory.periodicDecoder_smooth line 38
  7. theorem OAI.Alternating.Memory.periodic_iteratedDeriv line 65
  8. theorem OAI.Alternating.Memory.periodicDecoder_derivatives_bounded line 72
  9. def OAI.Alternating.Memory.safeDecoder line 87
  10. theorem OAI.Alternating.Memory.safeDecoder_smooth line 90
  11. theorem OAI.Alternating.Memory.safeDecoder_periodic line 96
  12. theorem OAI.Alternating.Memory.safeDecoder_on_safe line 99
  13. theorem OAI.Alternating.Memory.safeDecoder_derivatives_bounded line 104
  14. theorem OAI.Alternating.Memory.safe_read_exact line 110
  15. theorem OAI.Alternating.Memory.history_nonneg line 118
  16. theorem OAI.Alternating.Memory.history_le line 125
  17. theorem OAI.Alternating.Memory.history_small line 140
  18. theorem OAI.Alternating.Memory.history_succ line 146
  19. theorem OAI.Alternating.Memory.alternating_histories_step line 155
  20. theorem OAI.Alternating.Memory.history_interpolation_mem line 162