OAI/Geometry/IsometricImmersion/Caps/EllipticAbsorption.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SmoothLocal.Weighted.weighted_young line 15
  2. theorem OAI.SmoothLocal.Weighted.elliptic_error_scalar_bound line 34
  3. theorem OAI.SmoothLocal.Weighted.ellipticErrors_zero_of_nonneg line 54
  4. theorem OAI.SmoothLocal.Weighted.ellipticError_abs_bound line 69
  5. theorem OAI.SmoothLocal.Weighted.ellipticEnergy_nonneg line 87
  6. theorem OAI.SmoothLocal.Weighted.rectangleIntegral_sub line 96
  7. theorem OAI.SmoothLocal.Weighted.rectangleIntegral_mono line 105
  8. theorem OAI.SmoothLocal.Weighted.integrated_elliptic_energy_bound line 117