OAI/MathematicalPhysics/NavierStokes/ShearFlows/FieldExpressions.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShearFlows.timeSpaceCoord line 14
  2. theorem OAI.ShearFlows.timeSpaceCoord_direction line 18
  3. def OAI.ShearFlows.rationalCoord line 22
  4. theorem OAI.ShearFlows.timeSpaceCoord_rational line 25
  5. inductive OAI.ShearFlows.FieldExpr line 29
  6. def OAI.ShearFlows.FieldExpr.val line 38
  7. def OAI.ShearFlows.FieldExpr.Valid line 44
  8. def OAI.ShearFlows.FieldExpr.diff line 50
  9. theorem OAI.ShearFlows.FieldExpr.valid_diff line 56
  10. theorem OAI.ShearFlows.FieldExpr.smooth line 63
  11. theorem OAI.ShearFlows.FieldExpr.val_diff line 70
  12. def OAI.ShearFlows.FieldExpr.diffWord line 96
  13. theorem OAI.ShearFlows.FieldExpr.valid_diffWord line 99
  14. def OAI.ShearFlows.FieldExpr.enclose line 105
  15. theorem OAI.ShearFlows.FieldExpr.enclose_contains line 111
  16. theorem OAI.ShearFlows.FieldExpr.enclose_converges line 119
  17. def OAI.ShearFlows.FieldExpr.bound line 127
  18. theorem OAI.ShearFlows.FieldExpr.bound_nonneg line 133
  19. theorem OAI.ShearFlows.FieldExpr.val_bound line 140
  20. def OAI.ShearFlows.FieldExpr.sum line 150
  21. theorem OAI.ShearFlows.FieldExpr.val_sum line 152
  22. theorem OAI.ShearFlows.FieldExpr.valid_sum line 159
  23. abbrev OAI.ShearFlows.VelocityExpr line 166
  24. def OAI.ShearFlows.VelocityExpr.Valid line 170
  25. def OAI.ShearFlows.VelocityExpr.val line 172
  26. def OAI.ShearFlows.VelocityExpr.diffWord line 174
  27. theorem OAI.ShearFlows.VelocityExpr.valid_diffWord line 176
  28. theorem OAI.ShearFlows.VelocityExpr.smooth line 179
  29. theorem OAI.ShearFlows.VelocityExpr.val_diffWord line 182
  30. def OAI.ShearFlows.VelocityExpr.bound line 195
  31. theorem OAI.ShearFlows.VelocityExpr.val_bound line 198