OAI/Analysis/StructuralCrouzeix/
47 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- ClosedSide.lean 2 declarations
- Endpoint.lean 1 declarations
- ExteriorSupport.lean 1 declarations
- GeometryBasics.lean 3 declarations
- Main.lean 7 declarations
- Model.lean 7 declarations
- OptimizerAssembly.lean 5 declarations
- OrientBoundary.lean 2 declarations
- SharedDensity.lean 4 declarations
- SharedMaximum.lean 6 declarations
- SimilarityMinimum.lean 8 declarations
- UnitDisk.lean 1 declarations