OAI/Geometry/IsometricImmersion/Caps/EllipticEnergy.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SmoothLocal.Weighted.ellipticErrorT line 13
  2. def OAI.SmoothLocal.Weighted.ellipticErrorS line 16
  3. def OAI.SmoothLocal.Weighted.ellipticEnergy line 19
  4. def OAI.SmoothLocal.Weighted.ellipticError line 22
  5. def OAI.SmoothLocal.Weighted.ellipticFluxT line 26
  6. def OAI.SmoothLocal.Weighted.ellipticFluxS line 29
  7. theorem OAI.SmoothLocal.Weighted.ellipticFluxT_partial_t line 34
  8. theorem OAI.SmoothLocal.Weighted.ellipticFluxS_partial_s line 50
  9. theorem OAI.SmoothLocal.Weighted.elliptic_divergence_identity line 67
  10. theorem OAI.SmoothLocal.Weighted.elliptic_fields_contDiffOn line 81
  11. theorem OAI.SmoothLocal.Weighted.ellipticOperator_contDiffOn line 96
  12. theorem OAI.SmoothLocal.Weighted.rectangleIntegral_neg line 105
  13. theorem OAI.SmoothLocal.Weighted.rectangleIntegral_const_mul line 110
  14. theorem OAI.SmoothLocal.Weighted.integrated_elliptic_identity line 117
  15. theorem OAI.SmoothLocal.Weighted.integrated_elliptic_equation line 165