OAI/Analysis/NumericalRange/
888 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AnalyticCharts.lean 17 declarations
- BoundaryCalculus.lean 12 declarations
- BoundaryNormals.lean 14 declarations
- BoundaryRepresentation.lean 8 declarations
- CauchyEvaluation.lean 14 declarations
- CauchyProjection.lean 23 declarations
- CircleIntegrals.lean 20 declarations
- CompleteResolvent.lean 28 declarations
- ConformalGluing.lean 15 declarations
- ConformalJacobian.lean 2 declarations
- ConformalWinding.lean 3 declarations
- ConvexBarrier.lean 32 declarations
- ConvexExterior.lean 14 declarations
- Convexity.lean 26 declarations
- DensityAdjoints.lean 7 declarations
- DensityComparison.lean 2 declarations
- DensityIdentification.lean 2 declarations
- DensityTransport.lean 17 declarations
- DilationDensity.lean 44 declarations
- DiskCalculus.lean 44 declarations
- DiskMapping.lean 20 declarations
- DomainBound.lean 2 declarations
- DomainCalculus.lean 17 declarations
- DualSeparation.lean 44 declarations
- ExteriorKernel.lean 28 declarations
- ExteriorProjection.lean 16 declarations
- FourierExtension.lean 22 declarations
- FourierResolution.lean 44 declarations
- HerglotzReflection.lean 16 declarations
- HilbertSchmidt.lean 45 declarations
- HolomorphicEvaluation.lean 45 declarations
- Main.lean 6 declarations
- MarkovOperator.lean 46 declarations
- MetricFeasibility.lean 26 declarations
- MetricNorm.lean 4 declarations
- Model.lean 5 declarations
- OptimalExtremal.lean 16 declarations
- OrderedDensities.lean 4 declarations
- OrderedMultiplication.lean 27 declarations
- OuterNeighborhood.lean 5 declarations
- PoissonBoundary.lean 29 declarations
- PolynomialCalculus.lean 22 declarations
- PositiveDensity.lean 8 declarations
- PulledDensity.lean 5 declarations
- ResolventPositivity.lean 6 declarations
- Sharpness.lean 13 declarations
- TestingAlgebra.lean 8 declarations
- UnitaryRealization.lean 15 declarations