`OAI/MathematicalPhysics/DefocusingNLS/Spectrum/`

2375 declarations, 0 contain sorry, 0 declared as axioms; 901 files

Files

SpectralActionError.lean 1 declarations
SpectralActionGronwall.lean 1 declarations
SpectralAiryComplexSlope.lean 1 declarations
SpectralAiryGrowingMargin.lean 1 declarations
SpectralAiryMass.lean 2 declarations
SpectralAiryMomentum.lean 2 declarations
SpectralAiryRiccati.lean 3 declarations
SpectralAirySlopeLimit.lean 1 declarations
SpectralAllOrders.lean 1 declarations
SpectralAnalyticCorrection.lean 4 declarations
SpectralAnalyticTailData.lean 3 declarations
SpectralAngularAnalytic.lean 1 declarations
SpectralAngularComplexIntegral.lean 1 declarations
SpectralAngularJet.lean 3 declarations
SpectralAngularMeasure.lean 3 declarations
SpectralAngularParameter.lean 2 declarations
SpectralAngularRank.lean 4 declarations
SpectralAngularSource.lean 1 declarations
SpectralAnnulusClassicalFlux.lean 1 declarations
SpectralAnnulusFluxPrimitive.lean 1 declarations
SpectralBackwardStability.lean 2 declarations
SpectralBoundaryBalance.lean 2 declarations
SpectralBoundaryBound.lean 1 declarations
SpectralBoundaryErrorLimit.lean 1 declarations
SpectralBoundaryFlux.lean 3 declarations
SpectralBoundaryNeighborhood.lean 3 declarations
SpectralBoundedCoefficientAction.lean 4 declarations
SpectralBoundedFrameError.lean 1 declarations
SpectralBoundedFrameTerminal.lean 1 declarations
SpectralBoundedPolynomialAnalytic.lean 4 declarations
SpectralBoundedPolynomialLimit.lean 4 declarations
SpectralBranchCloseness.lean 3 declarations
SpectralBranchCone.lean 1 declarations
SpectralC1HarmonicMembership.lean 3 declarations
SpectralC1IntervalExtension.lean 1 declarations
SpectralC1SchwartzApprox.lean 5 declarations
SpectralCanonicalColumnLimit.lean 1 declarations
SpectralCanonicalFixedFirst.lean 1 declarations
SpectralCanonicalFixedSecond.lean 1 declarations
SpectralCanonicalForcingLimit.lean 1 declarations
SpectralCanonicalFreeFirstLimit.lean 1 declarations
SpectralCanonicalFreeSecondLimit.lean 1 declarations
SpectralCanonicalOutgoing.lean 4 declarations
SpectralCanonicalParameterEquation.lean 1 declarations
SpectralCanonicalParameterExpansion.lean 3 declarations
SpectralCanonicalParameterL2.lean 1 declarations
SpectralCanonicalParameterLogJets.lean 1 declarations
SpectralCanonicalParameterPower.lean 3 declarations
SpectralCanonicalParameterSmooth.lean 1 declarations
SpectralCanonicalPhysicalParameter.lean 1 declarations
SpectralCanonicalSolutionLimit.lean 1 declarations
SpectralCaseIComparisons.lean 1 declarations
SpectralCaseIIComparisons.lean 1 declarations
SpectralCaseIIRobinCoercivity.lean 2 declarations
SpectralCaseIIShellFrequency.lean 1 declarations
SpectralCaseIIUniformComparisons.lean 1 declarations
SpectralCaseIIUniformWeights.lean 1 declarations
SpectralCaseIIWeightBounds.lean 3 declarations
SpectralChainBoundaryBalance.lean 2 declarations
SpectralChainBoundaryFlux.lean 2 declarations
SpectralChainCircular.lean 4 declarations
SpectralChainClosedBoundary.lean 2 declarations
SpectralChainCoreBoundary.lean 1 declarations
SpectralChainCoreC1.lean 1 declarations
SpectralChainCorePower.lean 1 declarations
SpectralChainFirstBalance.lean 2 declarations
SpectralChainFirstEquation.lean 1 declarations
SpectralChainFirstFlux.lean 4 declarations
SpectralChainFluxBalance.lean 2 declarations
SpectralChainFluxPrimitive.lean 5 declarations
SpectralChainFluxSmoothness.lean 2 declarations
SpectralChainFluxSystem.lean 2 declarations
SpectralChainRobinC1.lean 1 declarations
SpectralChainScalarEquation.lean 3 declarations
SpectralChainSourceIntegral.lean 4 declarations
SpectralCircularCoordinates.lean 5 declarations
SpectralCircularCorrection.lean 1 declarations
SpectralCircularExistence.lean 2 declarations
SpectralCircularField.lean 7 declarations
SpectralCircularFieldBound.lean 4 declarations
SpectralCircularFieldDifference.lean 1 declarations
SpectralCircularFiniteLimit.lean 1 declarations
SpectralCircularForcing.lean 2 declarations
SpectralCircularLeadingBound.lean 1 declarations
SpectralCircularPicard.lean 5 declarations
SpectralCircularSource.lean 5 declarations
SpectralCircularSourceGauge.lean 1 declarations
SpectralCircularTail.lean 9 declarations
SpectralCircularTailLimit.lean 1 declarations
SpectralCircularUniqueness.lean 7 declarations
SpectralCircularUnweight.lean 4 declarations
SpectralClassicalContinuousTest.lean 1 declarations
SpectralClassicalFluxAE.lean 3 declarations
SpectralClassicalFluxTesting.lean 1 declarations
SpectralClassicalObservationLine.lean 1 declarations
SpectralClassicalPairing.lean 9 declarations
SpectralClassicalSlopePairing.lean 2 declarations
SpectralClassicalTestForms.lean 7 declarations
SpectralClosedC1.lean 1 declarations
SpectralClosedClassicalExtension.lean 1 declarations
SpectralClosedDerivative.lean 1 declarations
SpectralClosedExtensionRegularity.lean 2 declarations
SpectralClosedFluxPrimitive.lean 1 declarations
SpectralClosedFluxTrace.lean 2 declarations
SpectralClosedSource.lean 2 declarations
SpectralClosedStateExtension.lean 2 declarations
SpectralCoefficientContinuity.lean 5 declarations
SpectralCoefficientForcing.lean 6 declarations
SpectralCoefficientScaling.lean 3 declarations
SpectralCoerciveInverse.lean 4 declarations
SpectralCoercivePenalty.lean 7 declarations
SpectralCoerciveRestriction.lean 8 declarations
SpectralColumnIdentification.lean 1 declarations
SpectralColumnIndependence.lean 2 declarations
SpectralColumnRank.lean 5 declarations
SpectralCompactChainLift.lean 2 declarations
SpectralCompactChainLimit.lean 4 declarations
SpectralCompactForcedLimit.lean 1 declarations
SpectralCompactJordanLimit.lean 1 declarations
SpectralCompactKernelExclusion.lean 1 declarations
SpectralCompactKernelLift.lean 1 declarations
SpectralCompactKernelLimit.lean 1 declarations
SpectralCompactObservedChain.lean 1 declarations
SpectralCompactPencil.lean 6 declarations
SpectralCompactPencilDerivative.lean 1 declarations
SpectralCompactRadialTest.lean 4 declarations
SpectralCompactWeak.lean 1 declarations
SpectralComplexLinear.lean 4 declarations
SpectralComplexMultiplierLimit.lean 4 declarations
SpectralComplexSqrtScale.lean 1 declarations
SpectralComplexWeightedSquare.lean 1 declarations
SpectralContinuousMultiplier.lean 4 declarations
SpectralContinuousWeight.lean 4 declarations
SpectralCoreBoundaryLinear.lean 4 declarations
SpectralCoreTestDensity.lean 2 declarations
SpectralCoreTestExtension.lean 2 declarations
SpectralCorrectionEquation.lean 3 declarations
SpectralCorrectionLimit.lean 2 declarations
SpectralCorrectionParameter.lean 7 declarations
SpectralCountingBoundary.lean 7 declarations
SpectralCoupledBoundarySystem.lean 6 declarations
SpectralCoupledBoundaryZero.lean 1 declarations
SpectralCoupledGreen.lean 1 declarations
SpectralCoupledGreenFull.lean 1 declarations
SpectralCoupledInwardBoundary.lean 3 declarations
SpectralCoupledInwardDecay.lean 1 declarations
SpectralCoupledInwardLimit.lean 1 declarations
SpectralCoupledInwardMass.lean 1 declarations
SpectralCouplingEstimate.lean 6 declarations
SpectralCrossFluxLimit.lean 2 declarations
SpectralCutoffDerivativeLimit.lean 3 declarations
SpectralCutoffFluxTrace.lean 2 declarations
SpectralCutoffProfile.lean 12 declarations
SpectralCutoffWeights.lean 8 declarations
SpectralDifferentiatedOutgoing.lean 1 declarations
SpectralDilationBoundaryEstimate.lean 1 declarations
SpectralDilationDecomposition.lean 1 declarations
SpectralDilationPairing.lean 2 declarations
SpectralDirichletGreenData.lean 1 declarations
SpectralDirichletGreenScaled.lean 1 declarations
SpectralDividedDifferenceEstimate.lean 1 declarations
SpectralDividedDifferenceLimit.lean 1 declarations
SpectralDualWeakSubsequence.lean 1 declarations
SpectralDuhamelActionError.lean 1 declarations
SpectralDuhamelEstimate.lean 2 declarations
SpectralEndpointMultiplicity.lean 10 declarations
SpectralEndpointTest.lean 1 declarations
SpectralEscapeRatio.lean 2 declarations
SpectralEulerInvariants.lean 5 declarations
SpectralEulerRegularBranch.lean 2 declarations
SpectralEventualCoefficientLimit.lean 1 declarations
SpectralEventualKernelLine.lean 1 declarations
SpectralEventualNoJordan.lean 1 declarations
SpectralEventualNoSplitting.lean 1 declarations
SpectralEventualSimple.lean 1 declarations
SpectralExpansionUniqueness.lean 4 declarations
SpectralFieldAnalytic.lean 3 declarations
SpectralFieldOperator.lean 6 declarations
SpectralFieldParameterLimit.lean 7 declarations
SpectralFiniteUniqueness.lean 1 declarations
SpectralFirstBalance.lean 1 declarations
SpectralFirstClassicalFlux.lean 1 declarations
SpectralFirstClosedBoundary.lean 1 declarations
SpectralFirstFlux.lean 3 declarations
SpectralFirstFluxPrimitive.lean 1 declarations
SpectralFirstTest.lean 6 declarations
SpectralFixedGaugeAnalytic.lean 2 declarations
SpectralFluxBoundaryDerivative.lean 3 declarations
SpectralFluxChainGauge.lean 1 declarations
SpectralFluxCircular.lean 6 declarations
SpectralFluxLocalSmoothness.lean 2 declarations
SpectralFluxRobin.lean 4 declarations
SpectralFluxRobinLimit.lean 2 declarations
SpectralFluxSmoothness.lean 2 declarations
SpectralFluxSystem.lean 3 declarations
SpectralForbiddenBoundaryExclusion.lean 1 declarations
SpectralForbiddenDecay.lean 1 declarations
SpectralForbiddenMomentum.lean 1 declarations
SpectralForcedClassicalAE.lean 1 declarations
SpectralForcedClassicalFlux.lean 1 declarations
SpectralForcedClosedBoundary.lean 1 declarations
SpectralForcedEdgeBoundary.lean 1 declarations
SpectralForcedFlux.lean 4 declarations
SpectralForcedGauge.lean 2 declarations
SpectralForcedGronwall.lean 1 declarations
SpectralForcedMomentum.lean 4 declarations
SpectralForcingLimit.lean 3 declarations
SpectralFrameAmplitude.lean 2 declarations
SpectralFrameBranch.lean 3 declarations
SpectralFreeBasisParameter.lean 4 declarations
SpectralFreeBoundaryMultiplicity.lean 6 declarations
SpectralFreeChainCore.lean 1 declarations
SpectralFreeChainDifference.lean 2 declarations
SpectralFreeCollarUniqueness.lean 1 declarations
SpectralFreeColumnNormalization.lean 3 declarations
SpectralFreeConjugatePolynomial.lean 3 declarations
SpectralFreeCoreBoundary.lean 5 declarations
SpectralFreeGaugeAlgebra.lean 1 declarations
SpectralFreeInterfaceRoot.lean 1 declarations
SpectralFreeODEUniqueness.lean 5 declarations
SpectralFreeParameterEquation.lean 2 declarations
SpectralFreeParameterLocal.lean 1 declarations
SpectralFreePhysicalBasis.lean 5 declarations
SpectralFreePhysicalCoordinates.lean 5 declarations
SpectralFreePhysicalIdentification.lean 5 declarations
SpectralFreePhysicalParameter.lean 2 declarations
SpectralFreePhysicalShear.lean 1 declarations
SpectralFreePhysicalSource.lean 1 declarations
SpectralFreeRadiusLog.lean 1 declarations
SpectralFreeRobinPropagation.lean 7 declarations
SpectralFreeSecondBoundary.lean 3 declarations
SpectralFreeSecondColumn.lean 5 declarations
SpectralFreeSecondIdentification.lean 1 declarations
SpectralFreeSecondParameterLocal.lean 1 declarations
SpectralFreeSlowAsymptotic.lean 4 declarations
SpectralFreeSlowBoundary.lean 2 declarations
SpectralFreeSlowIdentification.lean 4 declarations
SpectralFreeSlowJet.lean 4 declarations
SpectralFreeSlowPolynomial.lean 11 declarations
SpectralFreeTailIdentification.lean 2 declarations
SpectralFullBoundaryError.lean 1 declarations
SpectralGaugeBoundaryEnergy.lean 2 declarations
SpectralGaugeClassicalFlux.lean 3 declarations
SpectralGaugeClassicalSourceFlux.lean 1 declarations
SpectralGaugeComponentEnergy.lean 1 declarations
SpectralGaugeCoordinateEnergy.lean 9 declarations
SpectralGaugeCoreBoundary.lean 2 declarations
SpectralGaugeCoreLimit.lean 1 declarations
SpectralGaugeCrossBound.lean 1 declarations
SpectralGaugeEnergyComparison.lean 2 declarations
SpectralGaugeFirstBoundary.lean 3 declarations
SpectralGaugeFirstMass.lean 3 declarations
SpectralGaugeFluxIdentity.lean 2 declarations
SpectralGaugeJetIdentity.lean 1 declarations
SpectralGaugeObservation.lean 2 declarations
SpectralGaugeObservationLine.lean 3 declarations
SpectralGaugeRobin.lean 10 declarations
SpectralGaugeRobinDerivative.lean 4 declarations
SpectralGaugeSecondTest.lean 1 declarations
SpectralGreenBranchBounds.lean 2 declarations
SpectralGreenIntegralBound.lean 1 declarations
SpectralGreenScaledFrame.lean 2 declarations
SpectralGreenSmallness.lean 1 declarations
SpectralGrowingBranchCone.lean 4 declarations
SpectralGrowingLimit.lean 1 declarations
SpectralGrowingProjection.lean 3 declarations
SpectralHarmonicComplexForm.lean 9 declarations
SpectralHarmonicCoordinates.lean 4 declarations
SpectralHarmonicCoreInverse.lean 6 declarations
SpectralHarmonicCutoff.lean 5 declarations
SpectralHarmonicEnergy.lean 16 declarations
SpectralHarmonicForm.lean 8 declarations
SpectralHarmonicFormLimit.lean 2 declarations
SpectralHarmonicJetMultiplier.lean 4 declarations
SpectralHarmonicMultiplier.lean 3 declarations
SpectralHarmonicObservation.lean 12 declarations
SpectralHarmonicPenalty.lean 6 declarations
SpectralHarmonicPenaltyLimit.lean 3 declarations
SpectralHarmonicPhase.lean 2 declarations
SpectralHarmonicRepresentative.lean 3 declarations
SpectralHarmonicScalarPairing.lean 3 declarations
SpectralHarmonicSeparable.lean 1 declarations
SpectralHarmonicWeightDifference.lean 2 declarations
SpectralHilbertWeakSubsequence.lean 1 declarations
SpectralHolomorphicAllOrders.lean 1 declarations
SpectralHolomorphicDifference.lean 2 declarations
SpectralHolomorphicFixedLimit.lean 1 declarations
SpectralHolomorphicFreeLimit.lean 1 declarations
SpectralHolomorphicHRobinLimit.lean 2 declarations
SpectralHolomorphicNoSplitting.lean 1 declarations
SpectralHolomorphicOutgoing.lean 3 declarations
SpectralHolomorphicRobinLimit.lean 1 declarations
SpectralHolomorphicSingularLimit.lean 2 declarations
SpectralHomotopyContinuity.lean 3 declarations
SpectralHomotopyCount.lean 1 declarations
SpectralHomotopyHolomorphy.lean 4 declarations
SpectralIntegralGronwall.lean 3 declarations
SpectralInteriorFluxPrimitive.lean 1 declarations
SpectralInverseCubeIntegral.lean 2 declarations
SpectralInverseOutgoing.lean 3 declarations
SpectralInwardDecay.lean 1 declarations
SpectralInwardMass.lean 1 declarations
SpectralJointNonzero.lean 1 declarations
SpectralJointUniformLimit.lean 1 declarations
SpectralKernelCoefficientLine.lean 2 declarations
SpectralKernelNormalization.lean 2 declarations
SpectralL2ComplexMultiplier.lean 3 declarations
SpectralL2CutoffLimit.lean 1 declarations
SpectralL2Dominated.lean 1 declarations
SpectralL2Multiplier.lean 7 declarations
SpectralL2WeightDifference.lean 2 declarations
SpectralLiouvilleActionOrder.lean 1 declarations
SpectralLiouvilleBranchData.lean 1 declarations
SpectralLiouvilleBranchMargin.lean 1 declarations
SpectralLiouvilleEndpoint.lean 1 declarations
SpectralLiouvilleEnergyLimit.lean 1 declarations
SpectralLiouvilleForbiddenBounds.lean 1 declarations
SpectralLiouvilleForbiddenTransfer.lean 1 declarations
SpectralLiouvilleFrequencyJet.lean 6 declarations
SpectralLiouvilleGreenData.lean 1 declarations
SpectralLiouvilleIntegralComparison.lean 1 declarations
SpectralLiouvilleInverseEnergy.lean 3 declarations
SpectralLiouvilleNormPositive.lean 1 declarations
SpectralLiouvilleOrientation.lean 1 declarations
SpectralLiouvilleOriginMomentum.lean 4 declarations
SpectralLiouvilleOscillatoryBounds.lean 1 declarations
SpectralLiouvilleOscillatoryPhase.lean 1 declarations
SpectralLiouvilleOscillatoryTransfer.lean 1 declarations
SpectralLiouvilleOutgoingBranch.lean 1 declarations
SpectralLiouvillePhaseApprox.lean 2 declarations
SpectralLiouvillePhaseError.lean 1 declarations
SpectralLiouvilleReflectedCone.lean 3 declarations
SpectralLiouvilleReflectedError.lean 1 declarations
SpectralLiouvilleRelativeResidual.lean 2 declarations
SpectralLiouvilleResidual.lean 2 declarations
SpectralLiouvilleResidualContinuity.lean 1 declarations
SpectralLiouvilleResidualOrder.lean 3 declarations
SpectralLiouvilleShellEnergy.lean 3 declarations
SpectralLiouvilleStateNonzero.lean 2 declarations
SpectralLiouvilleTerminalError.lean 1 declarations
SpectralLiouvilleTransfer.lean 1 declarations
SpectralLiouvilleUniformError.lean 2 declarations
SpectralLiouvilleValueDerivative.lean 2 declarations
SpectralLiouvilleWeightedEnergy.lean 5 declarations
SpectralLocalClassicalFlux.lean 1 declarations
SpectralLocalFluxPrimitive.lean 1 declarations
SpectralLogGaugeCoefficients.lean 2 declarations
SpectralLogarithmicRatio.lean 1 declarations
SpectralLowerOrderAnalytic.lean 3 declarations
SpectralLowerOrderConvergence.lean 3 declarations
SpectralLowerOrderDerivative.lean 5 declarations
SpectralLowerOrderOperator.lean 11 declarations
SpectralMassConvergence.lean 1 declarations
SpectralMassDecay.lean 1 declarations
SpectralMatchedBases.lean 1 declarations
SpectralMatchedCaseI.lean 1 declarations
SpectralMatchedCaseIConstructed.lean 1 declarations
SpectralMatchedCaseIIBoundary.lean 1 declarations
SpectralMatchedCaseIIBoundaryEnergy.lean 1 declarations
SpectralMatchedCaseIICoercivity.lean 1 declarations
SpectralMatchedCaseIIExclusion.lean 1 declarations
SpectralMatchedCaseIIGoodPoint.lean 1 declarations
SpectralMatchedCaseIIModes.lean 1 declarations
SpectralMatchedCaseIINormalizedBoundary.lean 1 declarations
SpectralMatchedCaseIIOscillatoryBound.lean 1 declarations
SpectralMatchedCaseIIOutgoingRobin.lean 1 declarations
SpectralMatchedCaseIIPositiveBoundary.lean 1 declarations
SpectralMatchedCaseIIRatio.lean 1 declarations
SpectralMatchedCaseIIRobinData.lean 1 declarations
SpectralMatchedCaseIIShell.lean 1 declarations
SpectralMatchedCaseIIUniformShell.lean 1 declarations
SpectralMatchedEscapeExclusion.lean 1 declarations
SpectralMatchedForcingEnergy.lean 1 declarations
SpectralMatchedShellAbsorption.lean 1 declarations
SpectralMatchedShellLimit.lean 1 declarations
SpectralMatchedUniformAbsorption.lean 1 declarations
SpectralMatchedUniformShellLimit.lean 1 declarations
SpectralMatchedWeight.lean 1 declarations
SpectralMatchingAnalytic.lean 1 declarations
SpectralMatchingGluing.lean 1 declarations
SpectralMatchingIntersection.lean 2 declarations
SpectralMatchingMatrix.lean 6 declarations
SpectralMeasureIntegrability.lean 2 declarations
SpectralMixedComparisons.lean 1 declarations
SpectralMixedUniformComparisons.lean 1 declarations
SpectralMovingParameterLimit.lean 1 declarations
SpectralNaturalRadius.lean 4 declarations
SpectralNoTurnBoundarySystem.lean 1 declarations
SpectralNoTurnBounds.lean 3 declarations
SpectralNoTurnBranch.lean 1 declarations
SpectralNoTurnComparison.lean 3 declarations
SpectralNoTurnEnergy.lean 1 declarations
SpectralNoTurnErrorLimit.lean 3 declarations
SpectralNoTurnEventual.lean 1 declarations
SpectralNoTurnFluxSlope.lean 1 declarations
SpectralNoTurnGeometry.lean 2 declarations
SpectralNoTurnGreen.lean 2 declarations
SpectralNoTurnLogarithmic.lean 1 declarations
SpectralNoTurnRadiusOrder.lean 4 declarations
SpectralNoTurnRemote.lean 1 declarations
SpectralNoTurnRemoteSlope.lean 1 declarations
SpectralNoTurnResidual.lean 2 declarations
SpectralNoTurnSlopeLimit.lean 3 declarations
SpectralNoTurnTransfer.lean 1 declarations
SpectralNoTurnUniformBoundary.lean 1 declarations
SpectralNoTurnUniformGreen.lean 1 declarations
SpectralNoTurnUniformSlope.lean 1 declarations
SpectralNoTurnUniformTransfer.lean 1 declarations
SpectralNoTurnValue.lean 1 declarations
SpectralNoTurnWeight.lean 4 declarations
SpectralNonzeroKernelLimit.lean 1 declarations
SpectralNormalizedBoundarySystem.lean 2 declarations
SpectralNormalizedKernelLimit.lean 2 declarations
SpectralNormalizedResidual.lean 10 declarations
SpectralNormalizedResidualLimit.lean 5 declarations
SpectralODESmoothness.lean 1 declarations
SpectralObservationZero.lean 3 declarations
SpectralObservedComplexLimit.lean 10 declarations
SpectralObservedSourceEquation.lean 2 declarations
SpectralOperatorNormCriterion.lean 1 declarations
SpectralOscillatoryData.lean 5 declarations
SpectralOscillatoryEnergy.lean 4 declarations
SpectralOscillatoryEnergyBound.lean 2 declarations
SpectralOscillatoryMismatch.lean 2 declarations
SpectralOscillatoryWeight.lean 2 declarations
SpectralOutgoingBasis.lean 2 declarations
SpectralOutgoingBoundary.lean 1 declarations
SpectralOutgoingBounds.lean 2 declarations
SpectralOutgoingComparison.lean 1 declarations
SpectralOutgoingExistence.lean 2 declarations
SpectralOutgoingExtensionBound.lean 1 declarations
SpectralOutgoingFluxCoercivity.lean 1 declarations
SpectralOutgoingFluxLimit.lean 1 declarations
SpectralOutgoingJetLimit.lean 3 declarations
SpectralOutgoingParameterBalance.lean 4 declarations
SpectralOutgoingPolynomialLimit.lean 4 declarations
SpectralOutgoingRobinLimit.lean 1 declarations
SpectralParameterApproximation.lean 1 declarations
SpectralParameterGrowth.lean 9 declarations
SpectralParameterGrowthEquation.lean 16 declarations
SpectralParameterLogJets.lean 3 declarations
SpectralParameterShear.lean 2 declarations
SpectralParameterShearLogJets.lean 4 declarations
SpectralParameterSmoothness.lean 3 declarations
SpectralPenaltyComplex.lean 3 declarations
SpectralPenaltyEquation.lean 1 declarations
SpectralPenaltyFamily.lean 6 declarations
SpectralPenaltyInverse.lean 7 declarations
SpectralPenaltyLimit.lean 3 declarations
SpectralPenaltyNormLimit.lean 3 declarations
SpectralPenaltyObservationLimit.lean 1 declarations
SpectralPenaltyWeakEquation.lean 1 declarations
SpectralPencilComplexEquation.lean 2 declarations
SpectralPencilDerivative.lean 2 declarations
SpectralPencilExclusion.lean 1 declarations
SpectralPencilFlux.lean 1 declarations
SpectralPencilFluxSystem.lean 1 declarations
SpectralPencilJointLimit.lean 1 declarations
SpectralPencilLimit.lean 2 declarations
SpectralPencilRobin.lean 1 declarations
SpectralPencilScalarEquation.lean 1 declarations
SpectralPencilVariational.lean 6 declarations
SpectralPerturbedKernelLine.lean 1 declarations
SpectralPerturbedTransfer.lean 1 declarations
SpectralPhysicalAnalytic.lean 1 declarations
SpectralPhysicalBasis.lean 1 declarations
SpectralPhysicalCoupling.lean 3 declarations
SpectralPhysicalFluxIdentity.lean 7 declarations
SpectralPhysicalForcingBound.lean 2 declarations
SpectralPhysicalGaugeBoundary.lean 1 declarations
SpectralPhysicalGaugePair.lean 6 declarations
SpectralPhysicalGaugeTransfer.lean 1 declarations
SpectralPhysicalGluing.lean 3 declarations
SpectralPhysicalGoodPoint.lean 1 declarations
SpectralPhysicalJet.lean 3 declarations
SpectralPhysicalLiouvillePair.lean 4 declarations
SpectralPhysicalOscillatoryBound.lean 1 declarations
SpectralPhysicalOscillatoryEnergy.lean 1 declarations
SpectralPhysicalParameter.lean 2 declarations
SpectralPhysicalParameterBounds.lean 2 declarations
SpectralPhysicalParameterEquation.lean 1 declarations
SpectralPhysicalProfile.lean 2 declarations
SpectralPhysicalRank.lean 4 declarations
SpectralPhysicalRobinLimit.lean 4 declarations
SpectralPhysicalShellEnergy.lean 5 declarations
SpectralPhysicalSource.lean 1 declarations
SpectralPhysicalSourceBoundary.lean 2 declarations
SpectralPhysicalSourceCombination.lean 6 declarations
SpectralPhysicalSourceSubtraction.lean 2 declarations
SpectralPhysicalTrace.lean 5 declarations
SpectralPointFieldParameter.lean 7 declarations
SpectralPolynomialAnalytic.lean 3 declarations
SpectralPolynomialCoefficientLimit.lean 2 declarations
SpectralPolynomialCorrection.lean 4 declarations
SpectralPolynomialEquation.lean 7 declarations
SpectralPolynomialExpansion.lean 7 declarations
SpectralPolynomialJet.lean 4 declarations
SpectralPolynomialMixedDerivative.lean 2 declarations
SpectralPolynomialParameter.lean 5 declarations
SpectralPolynomialResidual.lean 3 declarations
SpectralPolynomialStability.lean 8 declarations
SpectralPolynomialTailData.lean 4 declarations
SpectralPolynomialUniformLimit.lean 3 declarations
SpectralPositiveMomentum.lean 1 declarations
SpectralPowerPressureAway.lean 1 declarations
SpectralPressureAway.lean 3 declarations
SpectralPressureConstraint.lean 1 declarations
SpectralPressureConvergence.lean 2 declarations
SpectralPressureOperator.lean 7 declarations
SpectralQuotientDecay.lean 2 declarations
SpectralQuotientJet.lean 3 declarations
SpectralRadialCollarDecay.lean 1 declarations
SpectralRadialCollarMeasure.lean 2 declarations
SpectralRadialCollarMultiplier.lean 1 declarations
SpectralRadialCoreInverse.lean 7 declarations
SpectralRadialCoreLocality.lean 3 declarations
SpectralRadialCoreSpace.lean 13 declarations
SpectralRadialCoreTrace.lean 2 declarations
SpectralRadialCoreWeak.lean 1 declarations
SpectralRadialDerivativeUpgrade.lean 1 declarations
SpectralRadialDominatingWeight.lean 5 declarations
SpectralRadialEigenpairGauge.lean 1 declarations
SpectralRadialEnergySpace.lean 14 declarations
SpectralRadialFluxIdentity.lean 1 declarations
SpectralRadialGaugeCalculus.lean 5 declarations
SpectralRadialGaugeEnergy.lean 7 declarations
SpectralRadialGaugeEnergyUpper.lean 3 declarations
SpectralRadialIntervalKernel.lean 7 declarations
SpectralRadialLocalDerivative.lean 1 declarations
SpectralRadialLocalEnergy.lean 7 declarations
SpectralRadialLocalIntegrable.lean 1 declarations
SpectralRadialObservation.lean 6 declarations
SpectralRadialOpenContinuity.lean 1 declarations
SpectralRadialOriginDecay.lean 1 declarations
SpectralRadialPenalty.lean 3 declarations
SpectralRadialPoincare.lean 2 declarations
SpectralRadialPrimitiveEvaluation.lean 5 declarations
SpectralRadialPrimitiveIntegral.lean 4 declarations
SpectralRadialPrimitiveKernel.lean 7 declarations
SpectralRadialProductGauge.lean 2 declarations
SpectralRadialRealGauge.lean 1 declarations
SpectralRadialRealSourceGauge.lean 1 declarations
SpectralRadialRepresentative.lean 4 declarations
SpectralRadialShellNormalization.lean 1 declarations
SpectralRadialSmoothCompact.lean 3 declarations
SpectralRadialSourceGauge.lean 1 declarations
SpectralRadialTraceEvaluation.lean 4 declarations
SpectralRadialTraceIdentity.lean 1 declarations
SpectralRadialTraceKernel.lean 6 declarations
SpectralRadialUniformEvaluation.lean 3 declarations
SpectralRadialVolumeCompact.lean 1 declarations
SpectralRadialVolumeWeak.lean 1 declarations
SpectralRadialWeightedIntegral.lean 1 declarations
SpectralRegularAnalytic.lean 4 declarations
SpectralRegularAverageOperator.lean 3 declarations
SpectralRegularCoefficients.lean 6 declarations
SpectralRegularEquation.lean 6 declarations
SpectralRegularFamily.lean 2 declarations
SpectralRegularJetOperator.lean 4 declarations
SpectralRegularKernel.lean 12 declarations
SpectralRegularLift.lean 8 declarations
SpectralRegularLiftEquation.lean 3 declarations
SpectralRegularOperator.lean 10 declarations
SpectralRegularParameterDerivative.lean 5 declarations
SpectralRegularParameterEquation.lean 2 declarations
SpectralRegularParameterState.lean 2 declarations
SpectralRegularPhysical.lean 2 declarations
SpectralRegularPhysicalBasis.lean 2 declarations
SpectralRegularRank.lean 5 declarations
SpectralRegularResolvent.lean 6 declarations
SpectralRegularSolution.lean 9 declarations
SpectralRegularSource.lean 8 declarations
SpectralRegularState.lean 5 declarations
SpectralRegularStateAnalytic.lean 1 declarations
SpectralRegularStateFamily.lean 1 declarations
SpectralRegularUniqueness.lean 5 declarations
SpectralRegularWeighted.lean 3 declarations
SpectralRemoteActualCoefficients.lean 4 declarations
SpectralRemoteApproximationSymbol.lean 1 declarations
SpectralRemoteBlockOperator.lean 9 declarations
SpectralRemoteBlocks.lean 6 declarations
SpectralRemoteBoundedSymbol.lean 5 declarations
SpectralRemoteCoefficientSymbol.lean 3 declarations
SpectralRemoteCompositionGrowth.lean 1 declarations
SpectralRemoteCoordinateBounds.lean 5 declarations
SpectralRemoteEigenpair.lean 9 declarations
SpectralRemoteEigenpairOperator.lean 1 declarations
SpectralRemoteEndpoint.lean 2 declarations
SpectralRemoteEnergy.lean 10 declarations
SpectralRemoteEulerState.lean 4 declarations
SpectralRemoteExteriorField.lean 5 declarations
SpectralRemoteExteriorGrowth.lean 2 declarations
SpectralRemoteExteriorJets.lean 1 declarations
SpectralRemoteExteriorState.lean 1 declarations
SpectralRemoteExteriorSubsequence.lean 1 declarations
SpectralRemoteExteriorSymbol.lean 2 declarations
SpectralRemoteFamilyComposition.lean 1 declarations
SpectralRemoteFiniteReduction.lean 3 declarations
SpectralRemoteFrameBounds.lean 3 declarations
SpectralRemoteFrameEquation.lean 4 declarations
SpectralRemoteFrameInverse.lean 2 declarations
SpectralRemoteFrameSymbol.lean 5 declarations
SpectralRemoteFrameTrace.lean 3 declarations
SpectralRemoteGapSymbol.lean 5 declarations
SpectralRemoteGauge.lean 3 declarations
SpectralRemoteHadamardOperator.lean 6 declarations
SpectralRemoteIncomingBootstrap.lean 1 declarations
SpectralRemoteIncomingDecay.lean 4 declarations
SpectralRemoteIncomingEstimate.lean 2 declarations
SpectralRemoteIncomingIntegral.lean 2 declarations
SpectralRemoteIncomingInverse.lean 3 declarations
SpectralRemoteIncomingRow.lean 7 declarations
SpectralRemoteIndividualOperations.lean 2 declarations
SpectralRemoteIndividualSymbol.lean 1 declarations
SpectralRemoteInitialEquation.lean 3 declarations
SpectralRemoteInitialFrame.lean 4 declarations
SpectralRemoteIntegratingFactor.lean 5 declarations
SpectralRemoteIntertwining.lean 1 declarations
SpectralRemoteInverseJets.lean 3 declarations
SpectralRemoteJetOperations.lean 5 declarations
SpectralRemoteLeadingSkew.lean 2 declarations
SpectralRemoteLeadingSymbol.lean 3 declarations
SpectralRemoteMatchedBounded.lean 1 declarations
SpectralRemoteMatchedCoefficients.lean 2 declarations
SpectralRemoteMatchedEndpoint.lean 1 declarations
SpectralRemoteMatchedRobin.lean 1 declarations
SpectralRemoteMatchedState.lean 1 declarations
SpectralRemoteMatchedSymbol.lean 1 declarations
SpectralRemoteMatchedUniform.lean 1 declarations
SpectralRemoteMatrixOperator.lean 12 declarations
SpectralRemoteNaturalRadius.lean 1 declarations
SpectralRemoteNonlinearSymbol.lean 5 declarations
SpectralRemoteODEJetGrowth.lean 2 declarations
SpectralRemoteOutgoingEstimate.lean 1 declarations
SpectralRemoteOutgoingSymbol.lean 2 declarations
SpectralRemotePairRobin.lean 3 declarations
SpectralRemotePhysicalCoefficientScale.lean 3 declarations
SpectralRemotePhysicalFrame.lean 7 declarations
SpectralRemotePhysicalIncoming.lean 1 declarations
SpectralRemotePhysicalIndividual.lean 2 declarations
SpectralRemotePhysicalNonlinearity.lean 1 declarations
SpectralRemotePhysicalOperator.lean 8 declarations
SpectralRemotePhysicalReduction.lean 2 declarations
SpectralRemotePhysicalSymbol.lean 2 declarations
SpectralRemotePolynomialJets.lean 3 declarations
SpectralRemotePowerBound.lean 3 declarations
SpectralRemoteReconstruction.lean 3 declarations
SpectralRemoteReductionDiagonal.lean 1 declarations
SpectralRemoteReductionFrame.lean 4 declarations
SpectralRemoteReductionRestriction.lean 3 declarations
SpectralRemoteReductionStep.lean 6 declarations
SpectralRemoteRobinBridge.lean 2 declarations
SpectralRemoteRootBlocks.lean 5 declarations
SpectralRemoteRootPropagation.lean 1 declarations
SpectralRemoteRootReduction.lean 3 declarations
SpectralRemoteRootSymbol.lean 3 declarations
SpectralRemoteScalarRobin.lean 1 declarations
SpectralRemoteScaleSymbols.lean 2 declarations
SpectralRemoteStateSymbol.lean 2 declarations
SpectralRemoteSylvesterSymbol.lean 2 declarations
SpectralRemoteSymbol.lean 7 declarations
SpectralRemoteSymbolBilinear.lean 5 declarations
SpectralRemoteSymbolComposition.lean 1 declarations
SpectralRemoteSymbolFinite.lean 2 declarations
SpectralRemoteSymbolInverse.lean 2 declarations
SpectralRemoteSymbolProduct.lean 4 declarations
SpectralRemoteTerminal.lean 2 declarations
SpectralRemoteUniformExponent.lean 1 declarations
SpectralRemoteUniformIncoming.lean 1 declarations
SpectralRemoteUniformInterpolation.lean 1 declarations
SpectralRemoteUniformRobin.lean 1 declarations
SpectralRemoteValueAbsorption.lean 5 declarations
SpectralRepresentativeTrace.lean 2 declarations
SpectralResidualTailLimit.lean 4 declarations
SpectralResolventAnalytic.lean 4 declarations
SpectralRiccatiBarriers.lean 2 declarations
SpectralRiccatiLimit.lean 1 declarations
SpectralRobinColumnDerivative.lean 2 declarations
SpectralRobinDerivative.lean 2 declarations
SpectralRobinMatrix.lean 9 declarations
SpectralRobinNormBounds.lean 2 declarations
SpectralRobinPlane.lean 4 declarations
SpectralRobinRegularity.lean 5 declarations
SpectralRobinRelative.lean 2 declarations
SpectralRobinSourcePlane.lean 2 declarations
SpectralScalarBarrier.lean 2 declarations
SpectralScalarBoundaryNorm.lean 3 declarations
SpectralScalarCoefficientStability.lean 2 declarations
SpectralScalarDuhamel.lean 3 declarations
SpectralScalarFiniteExistence.lean 3 declarations
SpectralScalarFlux.lean 4 declarations
SpectralScalarFluxLower.lean 1 declarations
SpectralScalarFluxStability.lean 2 declarations
SpectralScalarGreen.lean 8 declarations
SpectralScalarGreenBoundary.lean 3 declarations
SpectralScalarGreenIntegral.lean 4 declarations
SpectralScalarGreenRepresentation.lean 3 declarations
SpectralScalarHalfLineExistence.lean 1 declarations
SpectralScalarInitialBound.lean 2 declarations
SpectralScalarIntervalBound.lean 5 declarations
SpectralScalarIntervalStability.lean 1 declarations
SpectralScalarLocalExistence.lean 1 declarations
SpectralScalarModulus.lean 5 declarations
SpectralScalarNonzero.lean 1 declarations
SpectralScalarOutgoingBound.lean 2 declarations
SpectralScalarRatio.lean 1 declarations
SpectralScalarReflection.lean 5 declarations
SpectralScalarReverseTransfer.lean 3 declarations
SpectralScalarRobinError.lean 1 declarations
SpectralScalarTerminalDuhamel.lean 2 declarations
SpectralScalarTerminalUniqueness.lean 1 declarations
SpectralScalarTransferKernel.lean 4 declarations
SpectralScalarUniformDependence.lean 1 declarations
SpectralScalarUniqueness.lean 1 declarations
SpectralSecondBalance.lean 1 declarations
SpectralSecondClassicalFlux.lean 4 declarations
SpectralSecondClosedBoundary.lean 1 declarations
SpectralSecondCorePower.lean 2 declarations
SpectralSecondFluxDerivative.lean 2 declarations
SpectralSecondFluxPrimitive.lean 1 declarations
SpectralSecondFluxRegularity.lean 4 declarations
SpectralSecondFluxTesting.lean 3 declarations
SpectralSecondTest.lean 6 declarations
SpectralShellAbsorption.lean 4 declarations
SpectralShellForcingContinuity.lean 1 declarations
SpectralShellGoodPoint.lean 2 declarations
SpectralShellGreenBounds.lean 3 declarations
SpectralShellInnerRobin.lean 2 declarations
SpectralShellIntegral.lean 2 declarations
SpectralShellInwardLimit.lean 1 declarations
SpectralShellMatchedCoupling.lean 4 declarations
SpectralShellNorm.lean 8 declarations
SpectralShellPositiveForm.lean 4 declarations
SpectralSimpleKernelEstimate.lean 4 declarations
SpectralSimpleLimitNoJordan.lean 1 declarations
SpectralSimpleLimitNoSplitting.lean 1 declarations
SpectralSmoothCutoff.lean 4 declarations
SpectralSmoothHarmonicBound.lean 2 declarations
SpectralSmoothPairTesting.lean 2 declarations
SpectralSubunitCoefficients.lean 6 declarations
SpectralSubunitDifference.lean 6 declarations
SpectralSubunitFieldLimit.lean 1 declarations
SpectralSubunitPressure.lean 1 declarations
SpectralTailEnergyLinear.lean 3 declarations
SpectralTailEnergyOperations.lean 3 declarations
SpectralTailEnergyPair.lean 2 declarations
SpectralTailEulerPhysical.lean 2 declarations
SpectralTailLinear.lean 8 declarations
SpectralTailOutgoingSelection.lean 1 declarations
SpectralTailPowerBounds.lean 3 declarations
SpectralTailRows.lean 1 declarations
SpectralTailWeightedL2.lean 2 declarations
SpectralTerminalResidualBound.lean 2 declarations
SpectralTestPrimitive.lean 1 declarations
SpectralThreeRegionBounds.lean 3 declarations
SpectralThreeRegionGreen.lean 2 declarations
SpectralThreeRegionTransfer.lean 1 declarations
SpectralTurningActionGrowth.lean 2 declarations
SpectralTurningActionLimit.lean 1 declarations
SpectralTurningAiryCoefficient.lean 1 declarations
SpectralTurningAiryHalfLineLimit.lean 1 declarations
SpectralTurningAiryLimit.lean 1 declarations
SpectralTurningAiryNonzero.lean 1 declarations
SpectralTurningAiryProjection.lean 1 declarations
SpectralTurningAiryState.lean 4 declarations
SpectralTurningAirySubsequence.lean 1 declarations
SpectralTurningBoundaryCoercive.lean 1 declarations
SpectralTurningBoundarySlope.lean 1 declarations
SpectralTurningBoundarySystem.lean 1 declarations
SpectralTurningCaseIData.lean 1 declarations
SpectralTurningCaseIIData.lean 1 declarations
SpectralTurningCentralTransfer.lean 1 declarations
SpectralTurningCentralWeight.lean 1 declarations
SpectralTurningCoefficient.lean 2 declarations
SpectralTurningComparison.lean 5 declarations
SpectralTurningComplexIntegral.lean 1 declarations
SpectralTurningComplexNegative.lean 1 declarations
SpectralTurningConeError.lean 2 declarations
SpectralTurningCutoffChoice.lean 1 declarations
SpectralTurningDataBound.lean 1 declarations
SpectralTurningDerivativeBounds.lean 3 declarations
SpectralTurningDerivativeSmall.lean 2 declarations
SpectralTurningErrorLimit.lean 4 declarations
SpectralTurningFarGeometry.lean 1 declarations
SpectralTurningFarIntegral.lean 2 declarations
SpectralTurningFarPhase.lean 2 declarations
SpectralTurningFluxCoarse.lean 6 declarations
SpectralTurningFluxLower.lean 1 declarations
SpectralTurningForbiddenFarIntegral.lean 2 declarations
SpectralTurningForbiddenGeometry.lean 2 declarations
SpectralTurningForbiddenGreen.lean 1 declarations
SpectralTurningForbiddenGreenUniform.lean 1 declarations
SpectralTurningFrequencyGrowth.lean 1 declarations
SpectralTurningGeometry.lean 3 declarations
SpectralTurningGreen.lean 2 declarations
SpectralTurningGreenFamily.lean 2 declarations
SpectralTurningGreenSmallness.lean 1 declarations
SpectralTurningInnerCone.lean 3 declarations
SpectralTurningInwardSystem.lean 1 declarations
SpectralTurningLogarithmicLimit.lean 1 declarations
SpectralTurningMomentumLimit.lean 1 declarations
SpectralTurningNearPhase.lean 1 declarations
SpectralTurningNegativeErrorLimit.lean 2 declarations
SpectralTurningNegativeIntegral.lean 1 declarations
SpectralTurningNegativeTransfer.lean 1 declarations
SpectralTurningOscillatoryUniform.lean 1 declarations
SpectralTurningOuterDerivative.lean 3 declarations
SpectralTurningOuterNegative.lean 1 declarations
SpectralTurningOuterPhase.lean 3 declarations
SpectralTurningOuterPositive.lean 1 declarations
SpectralTurningOuterWeight.lean 4 declarations
SpectralTurningOutgoingAiry.lean 1 declarations
SpectralTurningOutgoingBound.lean 1 declarations
SpectralTurningOutgoingBranch.lean 1 declarations
SpectralTurningOutgoingConnection.lean 1 declarations
SpectralTurningOutgoingFamily.lean 2 declarations
SpectralTurningOutgoingFlux.lean 1 declarations
SpectralTurningOutgoingRobin.lean 1 declarations
SpectralTurningPairWeight.lean 2 declarations
SpectralTurningPhysicalMargin.lean 1 declarations
SpectralTurningPositiveError.lean 1 declarations
SpectralTurningPositiveIntegral.lean 1 declarations
SpectralTurningPositiveReverse.lean 1 declarations
SpectralTurningPositiveScale.lean 1 declarations
SpectralTurningPositiveTransfer.lean 1 declarations
SpectralTurningPotentialBound.lean 1 declarations
SpectralTurningProjectionIdentity.lean 3 declarations
SpectralTurningProjectionLimit.lean 1 declarations
SpectralTurningRadius.lean 4 declarations
SpectralTurningRegularizedTransfer.lean 3 declarations
SpectralTurningRegularizedWeight.lean 9 declarations
SpectralTurningRemoteScale.lean 1 declarations
SpectralTurningRescale.lean 2 declarations
SpectralTurningResidualUniform.lean 2 declarations
SpectralTurningRobinCoercive.lean 2 declarations
SpectralTurningRootConstruction.lean 4 declarations
SpectralTurningRootRemote.lean 1 declarations
SpectralTurningScaleLimit.lean 3 declarations
SpectralTurningScaledNorm.lean 5 declarations
SpectralTurningShellDecay.lean 3 declarations
SpectralTurningSlopeLimit.lean 2 declarations
SpectralTurningState.lean 3 declarations
SpectralTurningUniformBoundary.lean 1 declarations
SpectralTurningUniformCone.lean 1 declarations
SpectralTurningUniformError.lean 1 declarations
SpectralTurningUniformGreen.lean 1 declarations
SpectralTurningUniformInward.lean 1 declarations
SpectralTurningUniformLimit.lean 1 declarations
SpectralTurningUniformSlope.lean 1 declarations
SpectralTurningUniformSystems.lean 1 declarations
SpectralTurningWeightEscape.lean 3 declarations
SpectralTurningWeightLimit.lean 2 declarations
SpectralUniformComparisons.lean 2 declarations
SpectralUniformError.lean 1 declarations
SpectralUniformWeightBounds.lean 1 declarations
SpectralUnitTest.lean 1 declarations
SpectralWKBAmplitude.lean 6 declarations
SpectralWKBBranchAmplitude.lean 1 declarations
SpectralWKBConstruction.lean 9 declarations
SpectralWKBDecreasingIntegral.lean 1 declarations
SpectralWKBFarBound.lean 2 declarations
SpectralWKBFluxMargin.lean 2 declarations
SpectralWKBFrame.lean 6 declarations
SpectralWKBFrameBound.lean 3 declarations
SpectralWKBFrameValue.lean 3 declarations
SpectralWKBInitialCone.lean 3 declarations
SpectralWKBInitialError.lean 1 declarations
SpectralWKBPhaseIntegral.lean 1 declarations
SpectralWKBPhaseLowerBound.lean 1 declarations
SpectralWKBPhaseOrder.lean 3 declarations
SpectralWKBPotentialResidual.lean 3 declarations
SpectralWKBReflectedCone.lean 3 declarations
SpectralWKBReflectedError.lean 3 declarations
SpectralWKBRemoteMismatch.lean 1 declarations
SpectralWKBResidualIntegral.lean 1 declarations
SpectralWKBScaledEndpoint.lean 1 declarations
SpectralWKBSingleBranch.lean 1 declarations
SpectralWKBSlopeError.lean 1 declarations
SpectralWKBSqrtApproximation.lean 2 declarations
SpectralWKBSquareRoot.lean 4 declarations
SpectralWKBSquareRootJet.lean 5 declarations
SpectralWKBStateFlux.lean 3 declarations
SpectralWKBTerminalError.lean 1 declarations
SpectralWKBTransfer.lean 1 declarations
SpectralWKBWeightedPrimitives.lean 2 declarations
SpectralWeakFluxConstant.lean 1 declarations
SpectralWeakFluxPrimitive.lean 2 declarations
SpectralWeakJointLimit.lean 4 declarations
SpectralWeakRobin.lean 1 declarations
SpectralWeakRobinC1.lean 1 declarations
SpectralWeakSubsequence.lean 2 declarations
SpectralWeightExt.lean 1 declarations
SpectralWeightedCircularEquation.lean 3 declarations
SpectralWeightedCoefficientLimit.lean 1 declarations
SpectralWeightedCoreWeak.lean 3 declarations
SpectralWeightedFluxBalance.lean 6 declarations
SpectralWeightedGaugeBoundary.lean 1 declarations
SpectralWeightedPairing.lean 4 declarations
SpectralWeightedProductLimit.lean 3 declarations
SpectralWeightedSourceBalance.lean 3 declarations
SpectralWeightedTestIntegrable.lean 2 declarations