OAI/Analysis/DirectCrouzeix/
418 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- AnalyticCharts.lean 8 declarations
- BoundaryEnergy.lean 11 declarations
- BoundaryKernel.lean 25 declarations
- BoundaryParametrization.lean 1 declarations
- CircleFourier.lean 19 declarations
- CompactIntegrals.lean 19 declarations
- CompleteBound.lean 2 declarations
- ConformalCollar.lean 5 declarations
- Continuation.lean 4 declarations
- Convexity.lean 14 declarations
- DiskMapping.lean 19 declarations
- DividedDifferences.lean 19 declarations
- DomainBound.lean 2 declarations
- DomainCore.lean 2 declarations
- Duality.lean 2 declarations
- ExponentialLevels.lean 13 declarations
- ExponentialSupport.lean 2 declarations
- ExteriorCollar.lean 3 declarations
- ExteriorMapping.lean 3 declarations
- ExtremalEmbedding.lean 6 declarations
- FaberCalculus.lean 13 declarations
- FaberEnergy.lean 17 declarations
- FaberPolynomials.lean 24 declarations
- HarmonicReflection.lean 15 declarations
- HilbertSchmidt.lean 13 declarations
- HolomorphicReflection.lean 8 declarations
- InverseExterior.lean 10 declarations
- KernelContraction.lean 11 declarations
- Main.lean 41 imports, no declarations
- Model.lean 5 declarations
- NormalFamilies.lean 10 declarations
- NumericalRange.lean 7 declarations
- OuterApproximation.lean 4 declarations
- PoissonBoundary.lean 11 declarations
- PolynomialCalculus.lean 12 declarations
- PolynomialEnergy.lean 18 declarations
- PositiveBlocks.lean 5 declarations
- Resolvent.lean 15 declarations
- Sharpness.lean 9 declarations
- SingularPairs.lean 7 declarations
- SupportNets.lean 7 declarations
- TaylorFourier.lean 18 declarations