OAI/Geometry/IsometricImmersion/Caps/CapCutoffRectangle.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.Weighted.capOuterLeft line 12
2. def OAI.SmoothLocal.Weighted.capOuterLeftOne line 13
3. def OAI.SmoothLocal.Weighted.capOuterRightOne line 14
4. def OAI.SmoothLocal.Weighted.capOuterRight line 15
5. def OAI.SmoothLocal.Weighted.capOuterBottom line 16
6. def OAI.SmoothLocal.Weighted.capOuterBottomOne line 17
7. theorem OAI.SmoothLocal.Weighted.capOuterSpatialCutoff_eq_threeEdge line 19
8. theorem OAI.SmoothLocal.Weighted.capOuterRectangle_edges line 26
9. theorem OAI.SmoothLocal.Weighted.capOuterRectangle_subset_domain line 41
10. theorem OAI.SmoothLocal.Weighted.capSpatialCutoff_outer_boundary line 49