OAI/MathematicalPhysics/NavierStokes/Material/Model.lean

GitHub source file

55 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Alternating.Instruction line 10
  2. abbrev OAI.Alternating.Machine line 12
  3. abbrev OAI.Alternating.MachineInput line 14
  4. def OAI.Alternating.Machine.stateCount line 16
  5. def OAI.Alternating.Machine.symbolCount line 18
  6. def OAI.Alternating.Machine.haltingStates line 20
  7. def OAI.Alternating.Machine.table line 22
  8. def OAI.Alternating.Machine.WellFormed line 24
  9. def OAI.Alternating.ValidInput line 32
  10. theorem OAI.Alternating.ValidInput.machine_wellFormed line 35
  11. structure OAI.Alternating.Configuration line 38
  12. def OAI.Alternating.Machine.isHalting line 43
  13. def OAI.Alternating.Machine.instruction line 46
  14. def OAI.Alternating.Machine.step line 49
  15. def OAI.Alternating.initialConfiguration line 58
  16. def OAI.Alternating.configurationAt line 63
  17. def OAI.Alternating.Halts line 66
  18. abbrev OAI.Alternating.Space line 69
  19. abbrev OAI.Alternating.Field line 70
  20. abbrev OAI.Alternating.Pressure line 71
  21. abbrev OAI.Alternating.MultiIndex line 72
  22. def OAI.Alternating.basisVector line 76
  23. def OAI.Alternating.multiOrder line 78
  24. def OAI.Alternating.spatialD line 80
  25. def OAI.Alternating.spatialPartial line 84
  26. def OAI.Alternating.timeD line 88
  27. def OAI.Alternating.mixedPartial line 91
  28. def OAI.Alternating.timeDerivative line 94
  29. def OAI.Alternating.divergence line 97
  30. def OAI.Alternating.gradient line 100
  31. def OAI.Alternating.laplacian line 103
  32. def OAI.Alternating.convection line 106
  33. def OAI.Alternating.residual line 109
  34. def OAI.Alternating.timeSpace line 112
  35. def OAI.Alternating.SmoothUpToZero line 114
  36. def OAI.Alternating.SupportedIn line 117
  37. def OAI.Alternating.RapidDecay line 120
  38. def OAI.Alternating.ClassicalRegularity line 125
  39. def OAI.Alternating.NSSolution line 137
  40. abbrev OAI.Alternating.SpatialL2 line 145
  41. def OAI.Alternating.ContinuousInSobolev line 148
  42. def OAI.Alternating.C1InL2 line 156
  43. def OAI.Alternating.EnergyClass line 164
  44. def OAI.Alternating.CompetitorEnergyClass line 170
  45. def OAI.Alternating.SolvesParticle line 175
  46. def OAI.Alternating.GlobalMaterialFlow line 179
  47. def OAI.Alternating.observedParticle line 184
  48. abbrev OAI.Alternating.Program line 186
  49. abbrev OAI.Alternating.RationalPoint line 187
  50. def OAI.Alternating.rationalPoint line 189
  51. def OAI.Alternating.error line 192
  52. def OAI.Alternating.ComputableReal line 194
  53. abbrev OAI.Alternating.FieldProgram line 198
  54. def OAI.Alternating.EvaluatesField line 200
  55. def OAI.Alternating.AlternatingOutput line 215