OAI/Analysis/Crouzeix/
1055 declarations, 0 contain sorry, 0 declared as axioms; 90 files
Files
- Amplification.lean 19 declarations
- AngularMeasure.lean 7 declarations
- AngularMoments.lean 6 declarations
- AngularRadius.lean 4 declarations
- AngularTransport.lean 6 declarations
- BlockPolynomial.lean 15 declarations
- BoundaryChart.lean 2 declarations
- BoundaryFibers.lean 15 declarations
- BoundaryForms.lean 77 declarations
- BoundaryKernel.lean 13 declarations
- BoundaryModulus.lean 3 declarations
- BoundaryMoments.lean 17 declarations
- BoundaryOperators.lean 29 declarations
- BoundaryPatching.lean 2 declarations
- CauchyProjection.lean 12 declarations
- CircleAnalytic.lean 10 declarations
- CircleCoordinate.lean 10 declarations
- CollarUnivalence.lean 3 declarations
- CompleteFinite.lean 6 declarations
- Compression.lean 16 declarations
- ConformalCollar.lean 3 declarations
- ContourExistence.lean 15 declarations
- ContourHomotopy.lean 22 declarations
- ContourPolynomials.lean 15 declarations
- ConvexApproximation.lean 2 declarations
- ConvexCoordinates.lean 1 declarations
- ConvexNeighborhood.lean 4 declarations
- Convexity.lean 5 declarations
- Definitions.lean 24 declarations
- Density.lean 12 declarations
- DensityCompatibility.lean 14 declarations
- DiskAutomorphism.lean 11 declarations
- DiskBoundaryChart.lean 9 declarations
- DiskCalculus.lean 19 declarations
- DiskEndpoint.lean 4 declarations
- DiskHolomorphic.lean 4 declarations
- Endpoint.lean 43 declarations
- EndpointInterpolation.lean 7 declarations
- ExteriorBoundaryChart.lean 4 declarations
- ExteriorCollar.lean 5 declarations
- ExteriorContour.lean 17 declarations
- ExteriorKernel.lean 18 declarations
- ExteriorNormal.lean 3 declarations
- ExteriorRiemann.lean 9 declarations
- Faber.lean 22 declarations
- FiniteCompression.lean 17 declarations
- Fourier.lean 50 declarations
- FunctionalComposition.lean 2 declarations
- HarmonicMaximum.lean 4 declarations
- HarmonicReflection.lean 9 declarations
- HilbertExtension.lean 6 declarations
- HilbertInequality.lean 1 declarations
- HolomorphicAlgebra.lean 7 declarations
- HolomorphicReflection.lean 1 declarations
- HolomorphicSpectrum.lean 5 declarations
- HomologicalCauchy.lean 21 declarations
- Hurwitz.lean 2 declarations
- InteriorCollar.lean 7 declarations
- Iteration.lean 6 declarations
- LaurentSplit.lean 2 declarations
- Main.lean 89 imports, no declarations
- MatrixContours.lean 9 declarations
- MatrixEndpoint.lean 11 declarations
- MetricBoundary.lean 3 declarations
- Montel.lean 5 declarations
- NumericalRange.lean 22 declarations
- PhysicalCalculus.lean 10 declarations
- PhysicalComparison.lean 1 declarations
- PhysicalDensity.lean 10 declarations
- PhysicalFourier.lean 15 declarations
- PhysicalModule.lean 13 declarations
- PhysicalProjection.lean 12 declarations
- PoissonExtension.lean 15 declarations
- PolynomialApproximation.lean 20 declarations
- RationalContours.lean 16 declarations
- RationalEvaluation.lean 8 declarations
- RationalTransfer.lean 29 declarations
- Realization.lean 24 declarations
- ReflectionDerivative.lean 3 declarations
- Resolvent.lean 13 declarations
- ResolventBounds.lean 22 declarations
- ResolventMoments.lean 8 declarations
- Riemann.lean 7 declarations
- SeparateHolomorphic.lean 4 declarations
- Sharpness.lean 10 declarations
- SimilarityRepresentation.lean 14 declarations
- SteinMetric.lean 22 declarations
- TensorDensity.lean 16 declarations
- Univalent.lean 3 declarations
- Vectorization.lean 6 declarations