OAI/Analysis/AncientFlat/Geometry/
118 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- Annular.lean 1 declarations
- AnnularCompactHolder.lean 6 declarations
- AnnularCore.lean 2 declarations
- AnnularGeometry.lean 3 declarations
- AnnularL2.lean 2 declarations
- ExtensionBox.lean 10 declarations
- ExtensionCutoff.lean 8 declarations
- ExtensionCutoffMatch.lean 1 declarations
- ExtensionGeometry.lean 12 declarations
- ExtensionHolder.lean 2 declarations
- InnerExtension.lean 3 declarations
- InnerExtensionCore.lean 4 declarations
- InteriorCore.lean 4 declarations
- InteriorCutoff.lean 15 declarations
- InteriorL2.lean 1 declarations
- InteriorL2Sup.lean 1 declarations
- InteriorSchauder.lean 1 declarations
- NormalizedGeometry.lean 5 declarations
- NormalizedWindow.lean 5 declarations
- ParabolicAverage.lean 4 declarations
- ParabolicWindows.lean 11 declarations
- WindowEstimate.lean 2 declarations
- WindowGeometry.lean 8 declarations
- WindowHolderCover.lean 2 declarations
- WindowJets.lean 3 declarations
- WindowSchauder.lean 2 declarations