OAI/MathematicalPhysics/SheetFlows/RationalBalls.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows rational balls.

  1. abbrev OAI.Solenoidal.QBall line 13
  2. def OAI.Solenoidal.QBall.Contains line 17
  3. def OAI.Solenoidal.QBall.point line 19
  4. def OAI.Solenoidal.QBall.add line 20
  5. def OAI.Solenoidal.QBall.neg line 21
  6. def OAI.Solenoidal.QBall.mul line 22
  7. def OAI.Solenoidal.QBall.pow line 24
  8. theorem OAI.Solenoidal.QBall.radius_nonneg line 28
  9. theorem OAI.Solenoidal.QBall.point_contains line 31
  10. theorem OAI.Solenoidal.QBall.add_contains line 34
  11. theorem OAI.Solenoidal.QBall.neg_contains line 43
  12. theorem OAI.Solenoidal.QBall.mul_contains line 47
  13. theorem OAI.Solenoidal.QBall.pow_contains line 72
  14. structure OAI.Solenoidal.QBall.Approximates line 78
  15. theorem OAI.Solenoidal.QBall.Approximates.center line 82
  16. theorem OAI.Solenoidal.QBall.approximates_point line 87
  17. theorem OAI.Solenoidal.QBall.Approximates.add line 90
  18. theorem OAI.Solenoidal.QBall.Approximates.neg line 96
  19. theorem OAI.Solenoidal.QBall.Approximates.mul line 100
  20. theorem OAI.Solenoidal.QBall.Approximates.pow line 107
  21. def OAI.Solenoidal.QBall.taylor line 114
  22. def OAI.Solenoidal.QBall.smallExp line 116
  23. theorem OAI.Solenoidal.QBall.smallExp_approximates line 119
  24. def OAI.Solenoidal.QBall.expScale line 141
  25. def OAI.Solenoidal.QBall.expApprox line 142
  26. theorem OAI.Solenoidal.QBall.expScale_pos line 145
  27. theorem OAI.Solenoidal.QBall.expScale_large line 147
  28. theorem OAI.Solenoidal.QBall.expApprox_approximates line 166
  29. def OAI.Solenoidal.QBall.clampInv line 176
  30. theorem OAI.Solenoidal.QBall.clampInv_contains line 178
  31. theorem OAI.Solenoidal.QBall.Approximates.clampInv line 200
  32. def OAI.Solenoidal.QBall.flatApprox line 206
  33. theorem OAI.Solenoidal.QBall.flatApprox_approximates line 210
  34. def OAI.Solenoidal.QBall.reciprocalApprox line 220
  35. theorem OAI.Solenoidal.QBall.reciprocalApprox_approximates line 223