OAI/MathematicalPhysics/NavierStokes/ShearFlows/PeriodicExpressions.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShearFlows.periodize_eq_finite line 16
  2. theorem OAI.ShearFlows.periodize_deriv line 32
  3. structure OAI.ShearFlows.PeriodicExpr line 49
  4. def OAI.ShearFlows.PeriodicExpr.Valid line 60
  5. def OAI.ShearFlows.PeriodicExpr.val line 63
  6. def OAI.ShearFlows.PeriodicExpr.diff line 65
  7. theorem OAI.ShearFlows.PeriodicExpr.valid_diff line 67
  8. theorem OAI.ShearFlows.PeriodicExpr.smooth line 73
  9. theorem OAI.ShearFlows.PeriodicExpr.val_diff line 76
  10. theorem OAI.ShearFlows.PeriodicExpr.hasDerivAt line 80
  11. def OAI.ShearFlows.PeriodicExpr.translates line 85
  12. def OAI.ShearFlows.PeriodicExpr.enclose line 88
  13. theorem OAI.ShearFlows.PeriodicExpr.val_eq_sum line 92
  14. theorem OAI.ShearFlows.PeriodicExpr.enclose_contains line 99
  15. theorem OAI.ShearFlows.PeriodicExpr.enclose_converges line 109
  16. def OAI.ShearFlows.PeriodicExpr.bound line 118
  17. theorem OAI.ShearFlows.PeriodicExpr.bound_nonneg line 122
  18. theorem OAI.ShearFlows.PeriodicExpr.val_bound line 125