OAI/Geometry/IsometricImmersion/Caps/EllipticApplication.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.Weighted.threeEdgeDerivativeConstant line 15
2. theorem OAI.SmoothLocal.Weighted.threeEdgeDerivativeConstant_nonneg line 19
3. theorem OAI.SmoothLocal.Weighted.threeEdgeCutoff_partial_common line 29
4. theorem OAI.SmoothLocal.Weighted.ellipticWeightC1_errors_eq line 41
5. theorem OAI.SmoothLocal.Weighted.threeEdge_ellipticWeight_boundary line 60
6. theorem OAI.SmoothLocal.Weighted.threeEdge_elliptic_energy_bound line 81