OAI/MathematicalPhysics/NavierStokes/ShearFlows/ExpressionCompiler.lean

GitHub source file

42 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShearFlows.RationalBox.centerQ line 16
  2. theorem OAI.ShearFlows.RationalBox.centerQ_cast line 18
  3. def OAI.ShearFlows.PeriodicExpr.cutoff line 24
  4. def OAI.ShearFlows.PeriodicExpr.potential line 25
  5. def OAI.ShearFlows.PeriodicExpr.mask line 26
  6. theorem OAI.ShearFlows.PeriodicExpr.cutoff_valid line 28
  7. theorem OAI.ShearFlows.PeriodicExpr.potential_valid line 35
  8. theorem OAI.ShearFlows.PeriodicExpr.mask_valid line 42
  9. theorem OAI.ShearFlows.PeriodicExpr.cutoff_val line 45
  10. theorem OAI.ShearFlows.PeriodicExpr.potential_val line 49
  11. theorem OAI.ShearFlows.PeriodicExpr.mask_val line 53
  12. def OAI.ShearFlows.PeriodicExpr.pulse line 58
  13. theorem OAI.ShearFlows.PeriodicExpr.pulse_valid line 61
  14. theorem OAI.ShearFlows.PeriodicExpr.pulse_val line 67
  15. def OAI.ShearFlows.FieldExpr.planeMask line 74
  16. theorem OAI.ShearFlows.FieldExpr.planeMask_valid line 82
  17. theorem OAI.ShearFlows.FieldExpr.planeMask_val line 87
  18. def OAI.ShearFlows.Input.heightExpr line 98
  19. def OAI.ShearFlows.Input.horizontalExpr line 103
  20. def OAI.ShearFlows.Input.sourceExpr line 109
  21. def OAI.ShearFlows.Input.targetExpr line 112
  22. theorem OAI.ShearFlows.heightExpr_valid line 117
  23. theorem OAI.ShearFlows.heightExpr_val line 122
  24. theorem OAI.ShearFlows.horizontalExpr_valid line 131
  25. theorem OAI.ShearFlows.horizontalExpr_val line 136
  26. theorem OAI.ShearFlows.sourceExpr_valid line 144
  27. theorem OAI.ShearFlows.targetExpr_valid line 147
  28. theorem OAI.ShearFlows.sourceExpr_val line 150
  29. theorem OAI.ShearFlows.targetExpr_val line 154
  30. def OAI.ShearFlows.FieldExpr.along line 160
  31. theorem OAI.ShearFlows.FieldExpr.along_valid line 162
  32. theorem OAI.ShearFlows.FieldExpr.along_val line 169
  33. theorem OAI.ShearFlows.FieldExpr.sum_ofFn_val line 177
  34. theorem OAI.ShearFlows.FieldExpr.sum_ofFn_valid line 182
  35. def OAI.ShearFlows.Input.branchExpr line 193
  36. def OAI.ShearFlows.Input.spatialExpr line 209
  37. def OAI.ShearFlows.Input.velocityExpr line 212
  38. theorem OAI.ShearFlows.branchExpr_valid line 217
  39. theorem OAI.ShearFlows.spatialExpr_valid line 233
  40. theorem OAI.ShearFlows.velocityExpr_valid line 236
  41. theorem OAI.ShearFlows.spatialExpr_val line 242
  42. theorem OAI.ShearFlows.velocityExpr_val line 263