OAI/MathematicalPhysics/NavierStokes/Material/Plateaus.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Alternating.memoryPoint line 13
  2. theorem OAI.Alternating.memoryPoint_zero line 16
  3. theorem OAI.Alternating.memoryPoint_one line 19
  4. theorem OAI.Alternating.memoryPoint_two line 22
  5. theorem OAI.Alternating.memoryPoint_norm_lt line 25
  6. def OAI.Alternating.snapshot line 36
  7. def OAI.Alternating.slotPoint line 43
  8. theorem OAI.Alternating.slotPoint_zero line 46
  9. theorem OAI.Alternating.slotPoint_one line 49
  10. theorem OAI.Alternating.slotPoint_coord_zero line 52
  11. theorem OAI.Alternating.slotPoint_eq_memoryPoint line 57
  12. theorem OAI.Alternating.slotPoint_norm_lt line 68
  13. theorem OAI.Alternating.slotPoint_donor line 78
  14. theorem OAI.Alternating.snapshot_step line 99
  15. theorem OAI.Alternating.slotVelocity_at_slotPoint line 122
  16. theorem OAI.Alternating.slotCurve_hasDerivAt line 133
  17. def OAI.Alternating.initialCode line 146
  18. theorem OAI.Alternating.initialCode_eq line 153
  19. def OAI.Alternating.loadingDisplacement line 158
  20. def OAI.Alternating.loadingVelocity line 162
  21. theorem OAI.Alternating.loadingVelocity_smooth line 167
  22. theorem OAI.Alternating.loadingVelocity_divergence line 171
  23. theorem OAI.Alternating.loadingVelocity_support line 175
  24. theorem OAI.Alternating.loadingVelocity_on_plateau line 179
  25. theorem OAI.Alternating.loadingDisplacement_eq line 184
  26. def OAI.Alternating.loadingPoint line 193
  27. theorem OAI.Alternating.loadingPoint_zero line 196
  28. theorem OAI.Alternating.loadingPoint_one line 199
  29. theorem OAI.Alternating.loadingPoint_norm_lt line 203
  30. theorem OAI.Alternating.loadingPoint_negative line 216
  31. theorem OAI.Alternating.loadingCurve_hasDerivAt line 231