`OAI/MathematicalPhysics/DefocusingNLS/Profile/`

2012 declarations, 0 contain sorry, 0 declared as axioms; 684 files

Files

CartesianDirectionalCalculus.lean 9 declarations
CartesianTransportCalculus.lean 6 declarations
CartesianTransportSymbol.lean 5 declarations
CompactifiedSlowContinuity.lean 7 declarations
CompactifiedSlowDerivative.lean 3 declarations
CompactifiedSlowSmoothness.lean 4 declarations
FreeSlowContinuity.lean 9 declarations
MovingEvaluationDerivative.lean 1 declarations
MovingSobolevEquation.lean 1 declarations
MovingSobolevEvaluation.lean 3 declarations
NormalizedSlowCone.lean 4 declarations
NormalizedSlowDerivative.lean 3 declarations
NormalizedSlowEquation.lean 5 declarations
NormalizedSlowIdentification.lean 7 declarations
NormalizedSlowTail.lean 9 declarations
ProfileCentralEnclosures.lean 7 declarations
ProfileCertificateComparisons.lean 7 declarations
ProfileCertificateRecipe.lean 18 declarations
ProfileCertificateValues.lean 20 declarations
ProfileDenominatorGap.lean 2 declarations
ProfileDeterminantBound.lean 5 declarations
ProfileEntryBounds.lean 9 declarations
ProfileExistence.lean 6 declarations
ProfileJetError.lean 4 declarations
ProfileLinearMap.lean 7 declarations
ProfileMatchingQuotient.lean 2 declarations
ProfileMatrixMajorant.lean 12 declarations
ProfileMatrixProduct.lean 12 declarations
ProfileNonvanishing.lean 3 declarations
ProfileNormalizedBounds.lean 9 declarations
ProfileProductMatching.lean 6 declarations
ProfileQuotientAlgebra.lean 4 declarations
ProfileQuotientContinuity.lean 3 declarations
ProfileStateInterpretation.lean 10 declarations
ProfileTailError.lean 3 declarations
ProfileTaylorBound.lean 2 declarations
ProfileTaylorStep.lean 5 declarations
ProfileZeroCriterion.lean 5 declarations
RadialAmplitudeEquation.lean 4 declarations
RadialAmplitudePotentialDerivative.lean 1 declarations
RadialAngularComplexEnergy.lean 1 declarations
RadialAngularDensity.lean 8 declarations
RadialAngularEstimates.lean 4 declarations
RadialAngularForms.lean 7 declarations
RadialAngularScalar.lean 7 declarations
RadialAngularScalarEstimates.lean 5 declarations
RadialAngularTransport.lean 1 declarations
RadialAngularUpperExclusion.lean 2 declarations
RadialAverageUniform.lean 2 declarations
RadialBoundaryCoefficientContinuity.lean 1 declarations
RadialBoundaryContinuity.lean 1 declarations
RadialBoundaryGap.lean 1 declarations
RadialBoundaryGeometry.lean 1 declarations
RadialBoundaryMonotonicity.lean 1 declarations
RadialBoundaryProfile.lean 1 declarations
RadialCanonicalExtension.lean 1 declarations
RadialCanonicalJordanResidual.lean 2 declarations
RadialCanonicalModeLine.lean 1 declarations
RadialCanonicalModeTail.lean 1 declarations
RadialCanonicalParameterCombination.lean 4 declarations
RadialCanonicalParameterEquation.lean 1 declarations
RadialCanonicalParameterL2.lean 2 declarations
RadialCanonicalRemainderEnergy.lean 1 declarations
RadialCanonicalRemainderEquation.lean 2 declarations
RadialCartesianCalculus.lean 4 declarations
RadialCartesianDeformation.lean 6 declarations
RadialCartesianEquation.lean 4 declarations
RadialCartesianFirstRegularity.lean 2 declarations
RadialCartesianSmooth.lean 3 declarations
RadialCartesianSymbol.lean 1 declarations
RadialClampedPhase.lean 6 declarations
RadialCoefficientTail.lean 1 declarations
RadialCoerciveProfile.lean 1 declarations
RadialCoercivityBoundary.lean 2 declarations
RadialCompactDeformation.lean 1 declarations
RadialCompactEvaluation.lean 2 declarations
RadialCompactFreeDeformation.lean 1 declarations
RadialCompactJordanExclusion.lean 1 declarations
RadialCompactJordanPositive.lean 1 declarations
RadialCompactSpectralClassification.lean 1 declarations
RadialCompactSubsequence.lean 1 declarations
RadialCompactTransform.lean 1 declarations
RadialComplexAverage.lean 5 declarations
RadialComplexBoundaryConvergence.lean 1 declarations
RadialComplexBoundaryEnergy.lean 1 declarations
RadialComplexBoundaryFormula.lean 1 declarations
RadialComplexConvergence.lean 4 declarations
RadialComplexCoreConvergence.lean 1 declarations
RadialComplexDilationIdentity.lean 2 declarations
RadialComplexEnergy.lean 2 declarations
RadialComplexEnergySplit.lean 2 declarations
RadialComplexFlux.lean 4 declarations
RadialComplexGaugeAction.lean 2 declarations
RadialComplexScalarAction.lean 8 declarations
RadialComplexSpectralEnergy.lean 1 declarations
RadialComplexVirial.lean 4 declarations
RadialComplexVirialCoercivity.lean 2 declarations
RadialCoreBarrier.lean 7 declarations
RadialCoreCompactness.lean 1 declarations
RadialCoreComplex.lean 1 declarations
RadialCoreConvergence.lean 1 declarations
RadialCoreFreeIntegral.lean 2 declarations
RadialCoreIdentification.lean 1 declarations
RadialCorePolarEquation.lean 1 declarations
RadialCorePolarIdentification.lean 1 declarations
RadialCoreRadius.lean 1 declarations
RadialCoreShape.lean 1 declarations
RadialCoupledComplexParameter.lean 2 declarations
RadialCoupledDerivativeParameter.lean 2 declarations
RadialCoupledLargePower.lean 2 declarations
RadialCoupledParameterBound.lean 1 declarations
RadialCoupledParameterLimit.lean 1 declarations
RadialCoupledPressureTesting.lean 1 declarations
RadialCoupledPressureUnweighted.lean 1 declarations
RadialCoupledPressureWeakStar.lean 1 declarations
RadialCoupledUniqueness.lean 1 declarations
RadialDerivativeBounded.lean 1 declarations
RadialDerivativeInterpolation.lean 1 declarations
RadialDifferentiateIntegral.lean 1 declarations
RadialDilationBoundaryBound.lean 1 declarations
RadialDilationBoundaryLimit.lean 1 declarations
RadialDilationBulkBound.lean 1 declarations
RadialDilationCrossBoundary.lean 2 declarations
RadialDilationEnergyLimit.lean 1 declarations
RadialDilationPairingBoundary.lean 2 declarations
RadialDilationPairingLimit.lean 1 declarations
RadialDilationPairingVolume.lean 1 declarations
RadialDirichletEquation.lean 6 declarations
RadialDirichletKernel.lean 6 declarations
RadialDirichletLinearity.lean 7 declarations
RadialEnergyMonotone.lean 2 declarations
RadialEnergyZero.lean 2 declarations
RadialEulerBounds.lean 1 declarations
RadialEulerJet.lean 3 declarations
RadialExpansionDifferentiation.lean 3 declarations
RadialExponentialInterpolation.lean 1 declarations
RadialExteriorActualTail.lean 1 declarations
RadialExteriorAllOrders.lean 1 declarations
RadialExteriorBoundedExpansion.lean 6 declarations
RadialExteriorBoundedFamily.lean 12 declarations
RadialExteriorBoundedRemainder.lean 1 declarations
RadialExteriorCanonical.lean 4 declarations
RadialExteriorCanonicalContinuity.lean 2 declarations
RadialExteriorCanonicalLimit.lean 2 declarations
RadialExteriorCoefficient.lean 5 declarations
RadialExteriorCommonTail.lean 3 declarations
RadialExteriorCompactExistence.lean 1 declarations
RadialExteriorCompactLimit.lean 1 declarations
RadialExteriorContinuousData.lean 5 declarations
RadialExteriorContinuousFinite.lean 1 declarations
RadialExteriorContinuousTail.lean 2 declarations
RadialExteriorCorrection.lean 1 declarations
RadialExteriorCutoff.lean 9 declarations
RadialExteriorErrorField.lean 10 declarations
RadialExteriorExpansion.lean 5 declarations
RadialExteriorExpansionCompatibility.lean 6 declarations
RadialExteriorExpansionEquation.lean 5 declarations
RadialExteriorExpansionLimit.lean 1 declarations
RadialExteriorExtendedTail.lean 1 declarations
RadialExteriorFieldDifference.lean 3 declarations
RadialExteriorFiniteContinuation.lean 4 declarations
RadialExteriorFiniteContinuity.lean 1 declarations
RadialExteriorFiniteField.lean 5 declarations
RadialExteriorFiniteLimit.lean 1 declarations
RadialExteriorFiniteParameter.lean 1 declarations
RadialExteriorFiniteRemoval.lean 1 declarations
RadialExteriorFixedContinuation.lean 1 declarations
RadialExteriorFreeCorrection.lean 3 declarations
RadialExteriorFreeUniqueness.lean 3 declarations
RadialExteriorHIdentification.lean 2 declarations
RadialExteriorHLimit.lean 1 declarations
RadialExteriorJetLimit.lean 6 declarations
RadialExteriorLinearResidual.lean 6 declarations
RadialExteriorLocalFamily.lean 4 declarations
RadialExteriorLocalOutgoing.lean 1 declarations
RadialExteriorNonlinearTail.lean 4 declarations
RadialExteriorNonlinearUniqueness.lean 3 declarations
RadialExteriorOutgoing.lean 8 declarations
RadialExteriorOutgoingContinuation.lean 1 declarations
RadialExteriorOutgoingLimit.lean 1 declarations
RadialExteriorOutgoingUniqueness.lean 2 declarations
RadialExteriorParameter.lean 10 declarations
RadialExteriorParameterContinuity.lean 1 declarations
RadialExteriorParameterLimit.lean 1 declarations
RadialExteriorPicard.lean 4 declarations
RadialExteriorPolynomial.lean 7 declarations
RadialExteriorPressureDerivative.lean 1 declarations
RadialExteriorPressureIdentity.lean 1 declarations
RadialExteriorPressureTransport.lean 2 declarations
RadialExteriorProfileLimit.lean 2 declarations
RadialExteriorPropagator.lean 8 declarations
RadialExteriorResidualLimit.lean 2 declarations
RadialExteriorShootingData.lean 11 declarations
RadialExteriorShootingFamily.lean 5 declarations
RadialExteriorSource.lean 4 declarations
RadialExteriorSplice.lean 4 declarations
RadialExteriorTailComparison.lean 1 declarations
RadialExteriorTailData.lean 4 declarations
RadialExteriorTailDerivative.lean 3 declarations
RadialExteriorTailEquation.lean 2 declarations
RadialExteriorTailFamily.lean 1 declarations
RadialExteriorTailIntegral.lean 3 declarations
RadialExteriorTailLimit.lean 1 declarations
RadialExteriorTailOperator.lean 5 declarations
RadialExteriorTailRemoval.lean 1 declarations
RadialExteriorTailRepresentation.lean 6 declarations
RadialExteriorTerminal.lean 2 declarations
RadialExteriorUniformRemainder.lean 1 declarations
RadialExteriorUniformTail.lean 3 declarations
RadialExteriorUnweight.lean 3 declarations
RadialExteriorVelocity.lean 7 declarations
RadialFiniteExistence.lean 1 declarations
RadialFiniteIntegral.lean 2 declarations
RadialFinitePicard.lean 6 declarations
RadialFiniteStability.lean 2 declarations
RadialFirstMassLimit.lean 2 declarations
RadialFreeAnnulus.lean 5 declarations
RadialFreeChainGauge.lean 4 declarations
RadialFreeChainGaugeExtension.lean 1 declarations
RadialFreeCoefficientSmoothness.lean 2 declarations
RadialFreeComponents.lean 2 declarations
RadialFreeConjugate.lean 3 declarations
RadialFreeCurrent.lean 4 declarations
RadialFreeDecay.lean 2 declarations
RadialFreeDeformation.lean 3 declarations
RadialFreeDeformationJet.lean 1 declarations
RadialFreeDifference.lean 1 declarations
RadialFreeEulerExpansion.lean 2 declarations
RadialFreeExteriorSmoothness.lean 3 declarations
RadialFreeFluxGauge.lean 5 declarations
RadialFreeGaugeCoefficient.lean 4 declarations
RadialFreeGaugeExtension.lean 3 declarations
RadialFreeInitialExistence.lean 1 declarations
RadialFreeInitialField.lean 7 declarations
RadialFreeLinearTaylor.lean 1 declarations
RadialFreeMatchedIdentification.lean 3 declarations
RadialFreeMatchingWronskian.lean 6 declarations
RadialFreeModulus.lean 5 declarations
RadialFreeParameterBound.lean 2 declarations
RadialFreeParameterContinuity.lean 3 declarations
RadialFreeParameterStart.lean 2 declarations
RadialFreePhysicalEquation.lean 5 declarations
RadialFreePhysicalLog.lean 6 declarations
RadialFreePhysicalNormalization.lean 4 declarations
RadialFreePochhammer.lean 7 declarations
RadialFreePropagation.lean 5 declarations
RadialFreeRiccati.lean 7 declarations
RadialFreeShootingData.lean 9 declarations
RadialFreeShortBounds.lean 3 declarations
RadialFreeSlowAsymptotic.lean 6 declarations
RadialFreeSlowEquation.lean 9 declarations
RadialFreeSlowJet.lean 3 declarations
RadialFreeSlowLogarithm.lean 2 declarations
RadialFreeSpectralClassification.lean 2 declarations
RadialFreeSpectralDisk.lean 2 declarations
RadialFreeSubunit.lean 1 declarations
RadialFreeTaylor.lean 3 declarations
RadialFreeUniqueness.lean 1 declarations
RadialFreeValueContinuity.lean 1 declarations
RadialFreeValueRadius.lean 1 declarations
RadialGaugeCrossPairing.lean 2 declarations
RadialGaugeLinearization.lean 8 declarations
RadialGaugeNonlinearity.lean 3 declarations
RadialGaugeTransport.lean 4 declarations
RadialGreenBoundary.lean 1 declarations
RadialGreenEnergy.lean 4 declarations
RadialGreenOperator.lean 10 declarations
RadialGreenResolvent.lean 1 declarations
RadialHardyBoundary.lean 1 declarations
RadialHardyInequality.lean 2 declarations
RadialHardyWeight.lean 8 declarations
RadialInitialEquation.lean 1 declarations
RadialInitialValueExistence.lean 3 declarations
RadialInitialValueMap.lean 7 declarations
RadialInnerC1Limit.lean 1 declarations
RadialInnerCompactness.lean 1 declarations
RadialInnerCoreLimit.lean 4 declarations
RadialInnerDeformation.lean 2 declarations
RadialInnerDerivative.lean 4 declarations
RadialInnerFixedPoint.lean 10 declarations
RadialInnerLimit.lean 1 declarations
RadialInnerMap.lean 1 declarations
RadialInnerOutput.lean 4 declarations
RadialInnerShootingData.lean 1 declarations
RadialInnerShootingFamily.lean 13 declarations
RadialInnerShootingLimit.lean 3 declarations
RadialInnerSlopeContinuity.lean 1 declarations
RadialInnerStationary.lean 1 declarations
RadialIntegralConvergence.lean 1 declarations
RadialIntegralRegularity.lean 1 declarations
RadialIntegralUniform.lean 1 declarations
RadialJordanChannels.lean 3 declarations
RadialJordanMode.lean 2 declarations
RadialJordanSmoothness.lean 1 declarations
RadialJordanState.lean 1 declarations
RadialLimitFreeEquation.lean 2 declarations
RadialLimitUniqueness.lean 2 declarations
RadialLinearComparison.lean 4 declarations
RadialLinearOperator.lean 5 declarations
RadialLogNormDerivatives.lean 4 declarations
RadialLogarithmicConvergence.lean 1 declarations
RadialLogarithmicSymbol.lean 4 declarations
RadialMassDerivative.lean 4 declarations
RadialMassDivergence.lean 4 declarations
RadialMatchedAmplitude.lean 3 declarations
RadialMatchedAnnulusCoefficient.lean 1 declarations
RadialMatchedBlowup.lean 6 declarations
RadialMatchedBoundary.lean 8 declarations
RadialMatchedBoundaryJetLimit.lean 2 declarations
RadialMatchedBoundaryJoint.lean 2 declarations
RadialMatchedBoundaryOperatorLimit.lean 1 declarations
RadialMatchedCanonicalAnalytic.lean 1 declarations
RadialMatchedCanonicalBoundary.lean 2 declarations
RadialMatchedCanonicalExclusion.lean 3 declarations
RadialMatchedCanonicalFluxIdentity.lean 2 declarations
RadialMatchedCanonicalFluxLimit.lean 2 declarations
RadialMatchedCanonicalMultiplicity.lean 1 declarations
RadialMatchedCanonicalNeighborhood.lean 1 declarations
RadialMatchedCanonicalNoJordan.lean 1 declarations
RadialMatchedCanonicalNoSplitting.lean 1 declarations
RadialMatchedCanonicalPencilLimit.lean 1 declarations
RadialMatchedCanonicalRobinAnalytic.lean 2 declarations
RadialMatchedCanonicalRobinJoint.lean 1 declarations
RadialMatchedCanonicalSourceExclusion.lean 1 declarations
RadialMatchedCanonicalUniform.lean 1 declarations
RadialMatchedCanonicalValueDet.lean 1 declarations
RadialMatchedClassicalPencil.lean 3 declarations
RadialMatchedClassicalSourcePencil.lean 1 declarations
RadialMatchedClassicalSourceTests.lean 2 declarations
RadialMatchedCommonOrder.lean 1 declarations
RadialMatchedCompactExclusion.lean 2 declarations
RadialMatchedCompactJointLimit.lean 1 declarations
RadialMatchedContinuousLinearStep.lean 1 declarations
RadialMatchedContinuousNonlinearStep.lean 1 declarations
RadialMatchedContinuousStableOrbit.lean 1 declarations
RadialMatchedCoordinateStableOrbit.lean 1 declarations
RadialMatchedCoreBoundary.lean 3 declarations
RadialMatchedCrossFluxLimit.lean 1 declarations
RadialMatchedCutoffCompact.lean 1 declarations
RadialMatchedCutoffPointwise.lean 2 declarations
RadialMatchedEnergyObservation.lean 1 declarations
RadialMatchedEvenProfile.lean 7 declarations
RadialMatchedFluxLimit.lean 3 declarations
RadialMatchedFluxSmoothness.lean 2 declarations
RadialMatchedFreeBoundaryAnalytic.lean 1 declarations
RadialMatchedFreeBoundaryDerivative.lean 1 declarations
RadialMatchedFreePencilChainEquation.lean 1 declarations
RadialMatchedFreePencilChainLift.lean 1 declarations
RadialMatchedFreePencilDerivative.lean 1 declarations
RadialMatchedFreePencilNoChain.lean 1 declarations
RadialMatchedFreeRepresentation.lean 2 declarations
RadialMatchedFreeSubunit.lean 3 declarations
RadialMatchedFreeWeakDerivative.lean 1 declarations
RadialMatchedGaugeBalance.lean 2 declarations
RadialMatchedGaugeCoefficients.lean 1 declarations
RadialMatchedGaugeEquation.lean 3 declarations
RadialMatchedGaugeFlux.lean 4 declarations
RadialMatchedGaugeMembership.lean 2 declarations
RadialMatchedGeneralizedExclusion.lean 1 declarations
RadialMatchedHardy.lean 2 declarations
RadialMatchedHardyBoundary.lean 2 declarations
RadialMatchedInnerAmplitude.lean 5 declarations
RadialMatchedKernelDeterminant.lean 3 declarations
RadialMatchedKernelLine.lean 2 declarations
RadialMatchedLimitSpectrum.lean 1 declarations
RadialMatchedLinearStep.lean 1 declarations
RadialMatchedMultiplierLimit.lean 10 declarations
RadialMatchedNonlinearStep.lean 1 declarations
RadialMatchedNonradialExclusion.lean 1 declarations
RadialMatchedOpenBlowup.lean 1 declarations
RadialMatchedPenaltyFamily.lean 1 declarations
RadialMatchedPencilAnalytic.lean 2 declarations
RadialMatchedPencilExclusion.lean 1 declarations
RadialMatchedPencilJointLimit.lean 1 declarations
RadialMatchedPencilRobin.lean 1 declarations
RadialMatchedPencilUniformLimit.lean 1 declarations
RadialMatchedPhysicalContour.lean 1 declarations
RadialMatchedPhysicalExclusion.lean 1 declarations
RadialMatchedPhysicalPencil.lean 1 declarations
RadialMatchedPhysicalSourceBoundary.lean 1 declarations
RadialMatchedPhysicalSourcePencil.lean 1 declarations
RadialMatchedPrescribedGenerator.lean 1 declarations
RadialMatchedPressureBounds.lean 5 declarations
RadialMatchedPressureLimit.lean 2 declarations
RadialMatchedPressureSlope.lean 1 declarations
RadialMatchedPressureTransport.lean 1 declarations
RadialMatchedProfileBounds.lean 5 declarations
RadialMatchedProfileLimit.lean 6 declarations
RadialMatchedShellBoundary.lean 1 declarations
RadialMatchedShellGreen.lean 1 declarations
RadialMatchedSimpleKernel.lean 4 declarations
RadialMatchedSmooth.lean 7 declarations
RadialMatchedSourceBalance.lean 1 declarations
RadialMatchedSourceFlux.lean 4 declarations
RadialMatchedSourceGauge.lean 2 declarations
RadialMatchedSourceRobin.lean 1 declarations
RadialMatchedSpectralLocalization.lean 1 declarations
RadialMatchedStableOrbit.lean 1 declarations
RadialMatchedStableTransfer.lean 1 declarations
RadialMatchedStableTransferContour.lean 1 declarations
RadialMatchedSymbol.lean 4 declarations
RadialMatchedSymmetryLocalization.lean 2 declarations
RadialMatchedTailBoundary.lean 1 declarations
RadialMatchedTailSelection.lean 1 declarations
RadialMatchedTimeTaylor.lean 1 declarations
RadialMatchedTorusBlocks.lean 1 declarations
RadialMatchedTransportSmoothness.lean 1 declarations
RadialMatchedTurningGreen.lean 1 declarations
RadialMatchedVelocity.lean 4 declarations
RadialMatchedWeakChainCore.lean 1 declarations
RadialMatchedWeakChainCoreLimit.lean 1 declarations
RadialMatchedWeakChainExclusion.lean 1 declarations
RadialMatchedWeakChainExterior.lean 1 declarations
RadialMatchedWeakChainFlux.lean 1 declarations
RadialMatchedWeakChainPhysical.lean 1 declarations
RadialMatchedWeakCoefficientTrace.lean 1 declarations
RadialMatchedWeakCoefficients.lean 2 declarations
RadialMatchedWeakCore.lean 1 declarations
RadialMatchedWeakCoreLimit.lean 1 declarations
RadialMatchedWeakDerivative.lean 1 declarations
RadialMatchedWeakDeterminant.lean 2 declarations
RadialMatchedWeakExterior.lean 1 declarations
RadialMatchedWeakForcedEquation.lean 1 declarations
RadialMatchedWeakOperator.lean 3 declarations
RadialMatchedWeakParameterLimit.lean 1 declarations
RadialMatchedWeakPhysical.lean 2 declarations
RadialMatchedWeakRobinC1.lean 1 declarations
RadialMatchedWeightLimit.lean 3 declarations
RadialMatchingCriterion.lean 3 declarations
RadialMatchingData.lean 5 declarations
RadialMatchingFactorContinuity.lean 3 declarations
RadialMatchingLimit.lean 4 declarations
RadialMatchingMap.lean 9 declarations
RadialMatchingParameterLimit.lean 1 declarations
RadialMatchingSymmetries.lean 2 declarations
RadialMinimumPrinciple.lean 3 declarations
RadialModeLine.lean 2 declarations
RadialModeMatchingZero.lean 1 declarations
RadialModeNoExtraLimit.lean 1 declarations
RadialModeNoGeneralizedLimit.lean 1 declarations
RadialModeNoSplitting.lean 1 declarations
RadialModeTrace.lean 3 declarations
RadialModulusComparison.lean 2 declarations
RadialMovingDeformation.lean 2 declarations
RadialMovingTail.lean 3 declarations
RadialNoReturn.lean 1 declarations
RadialNormalizedFirstMass.lean 1 declarations
RadialODEGrowthBound.lean 3 declarations
RadialODEGrowthExpression.lean 9 declarations
RadialODEGrowthRegularity.lean 3 declarations
RadialODEJoin.lean 1 declarations
RadialOddPowerBound.lean 4 declarations
RadialOutgoingBoundary.lean 4 declarations
RadialOutgoingDerivativeBounds.lean 2 declarations
RadialOutgoingDerivativeExpansion.lean 3 declarations
RadialOutgoingFirstDecay.lean 3 declarations
RadialPaperRadius.lean 2 declarations
RadialParameterSubsequence.lean 3 declarations
RadialPhase.lean 6 declarations
RadialPhaseConvergence.lean 4 declarations
RadialPhaseMode.lean 2 declarations
RadialPhaseSpectralMode.lean 2 declarations
RadialPhysicalAsymptotic.lean 2 declarations
RadialPhysicalFactor.lean 2 declarations
RadialPhysicalJet.lean 2 declarations
RadialPhysicalKernelLine.lean 1 declarations
RadialPhysicalPencilLift.lean 4 declarations
RadialPhysicalScaling.lean 3 declarations
RadialPhysicalSlopeAsymptotic.lean 2 declarations
RadialPlateauPhase.lean 2 declarations
RadialPlateauPotential.lean 2 declarations
RadialPoissonRepresentation.lean 2 declarations
RadialPolarBalance.lean 2 declarations
RadialPolarDerivative.lean 5 declarations
RadialPolarEquation.lean 1 declarations
RadialPolarJet.lean 3 declarations
RadialPolarRegularity.lean 2 declarations
RadialPolynomialCircleBound.lean 5 declarations
RadialPolynomialDerivatives.lean 4 declarations
RadialPolynomialNeighborhood.lean 2 declarations
RadialPolynomialPowerLimit.lean 2 declarations
RadialPolynomialQuotientLimit.lean 1 declarations
RadialPolynomialSubunitLimit.lean 2 declarations
RadialPolynomialUniform.lean 5 declarations
RadialPotentialContinuity.lean 2 declarations
RadialPotentialConvergence.lean 1 declarations
RadialPotentialDifference.lean 8 declarations
RadialPotentialLocalContinuity.lean 1 declarations
RadialPotentialParameter.lean 2 declarations
RadialPotentialSymbols.lean 6 declarations
RadialPowerSlope.lean 4 declarations
RadialPressureAbsorption.lean 1 declarations
RadialPressureBoundary.lean 1 declarations
RadialPressureContinuity.lean 4 declarations
RadialPressureDecay.lean 2 declarations
RadialPressureLocalTesting.lean 1 declarations
RadialPressureMaximum.lean 4 declarations
RadialPressureMeasure.lean 6 declarations
RadialPressurePrimitive.lean 3 declarations
RadialPressureQuotientTesting.lean 2 declarations
RadialPressureRatio.lean 3 declarations
RadialPressureSmallness.lean 2 declarations
RadialPressureStepConvergence.lean 1 declarations
RadialPressureStepPrimitive.lean 1 declarations
RadialPressureTesting.lean 1 declarations
RadialPressureUnweighted.lean 3 declarations
RadialPressureWeakStar.lean 1 declarations
RadialPrimitiveTesting.lean 1 declarations
RadialProfileDerivativeBounds.lean 3 declarations
RadialProfileSplice.lean 5 declarations
RadialReconstructionConvergence.lean 1 declarations
RadialRectangleIntegral.lean 2 declarations
RadialResolventEquation.lean 5 declarations
RadialRiccatiSign.lean 4 declarations
RadialScalarBoundary.lean 5 declarations
RadialScalarComparison.lean 3 declarations
RadialScalarCore.lean 1 declarations
RadialScalarDerivativeBounds.lean 3 declarations
RadialScalarDifference.lean 2 declarations
RadialScalarDirichlet.lean 2 declarations
RadialScalarForms.lean 6 declarations
RadialScalarLargePower.lean 2 declarations
RadialScalarProfile.lean 2 declarations
RadialSequenceExtension.lean 3 declarations
RadialShiftedVirialCoercivity.lean 1 declarations
RadialShootingBarrier.lean 7 declarations
RadialShootingCanonicalFixed.lean 2 declarations
RadialShootingCanonicalRobin.lean 1 declarations
RadialShootingCanonicalSelection.lean 2 declarations
RadialShootingCanonicalValueDet.lean 1 declarations
RadialShootingComplexLimit.lean 1 declarations
RadialShootingContinuity.lean 5 declarations
RadialShootingEquation.lean 6 declarations
RadialShootingInnerAverage.lean 2 declarations
RadialShootingInnerEquation.lean 9 declarations
RadialShootingInnerJet.lean 3 declarations
RadialShootingPhysicalJet.lean 4 declarations
RadialShootingPressureLimit.lean 1 declarations
RadialShootingSquare.lean 2 declarations
RadialSignedSymbol.lean 1 declarations
RadialSmallInverse.lean 5 declarations
RadialSmallInverseBoundary.lean 1 declarations
RadialSmoothBarrier.lean 10 declarations
RadialSmoothBarrierRegular.lean 6 declarations
RadialSmoothRamp.lean 10 declarations
RadialSmoothRampBounds.lean 2 declarations
RadialSpectralCanonicalBoundaryData.lean 1 declarations
RadialSpectralCanonicalKernel.lean 1 declarations
RadialSpectralCanonicalKernelSequence.lean 1 declarations
RadialSpectralCanonicalSourceChain.lean 1 declarations
RadialSpectralCanonicalSourceLift.lean 1 declarations
RadialSpectralClassification.lean 1 declarations
RadialSpectralCoercivity.lean 6 declarations
RadialSpectralConjugation.lean 3 declarations
RadialSpectralEnergyPositive.lean 1 declarations
RadialSpectralMode.lean 2 declarations
RadialSpectralModeScaling.lean 3 declarations
RadialSpectralNoJordan.lean 1 declarations
RadialSpectralNormalization.lean 1 declarations
RadialSpectralPhysicalKernel.lean 1 declarations
RadialSpectralPhysicalSourceChain.lean 1 declarations
RadialSpectralPressureCalculus.lean 4 declarations
RadialSpectralStripBound.lean 1 declarations
RadialSpectralTesting.lean 5 declarations
RadialSpectralUpper.lean 1 declarations
RadialSpliceDerivative.lean 5 declarations
RadialSquareEquation.lean 1 declarations
RadialSquareKernel.lean 5 declarations
RadialSquareRegularity.lean 6 declarations
RadialSquareSmooth.lean 2 declarations
RadialStationaryDerivativeBound.lean 1 declarations
RadialStationaryField.lean 4 declarations
RadialStationaryReconstruction.lean 5 declarations
RadialStepTesting.lean 1 declarations
RadialStripClassification.lean 1 declarations
RadialSymbolProducts.lean 7 declarations
RadialSymmetryConjugate.lean 1 declarations
RadialSymmetryIndependence.lean 4 declarations
RadialSymmetryPhase.lean 3 declarations
RadialSymmetrySpectralMode.lean 1 declarations
RadialTailCalculus.lean 2 declarations
RadialTailDecrease.lean 1 declarations
RadialTerminalUniqueness.lean 2 declarations
RadialTimeBounds.lean 2 declarations
RadialTimeCalculus.lean 5 declarations
RadialTimeEigenpair.lean 1 declarations
RadialTimeMode.lean 5 declarations
RadialTimeSpectralMode.lean 3 declarations
RadialTransition.lean 1 declarations
RadialTranslationEigenpair.lean 1 declarations
RadialTranslationMode.lean 2 declarations
RadialTranslationSpectralMode.lean 3 declarations
RadialTransportBoundary.lean 2 declarations
RadialTransportIntegration.lean 3 declarations
RadialTruncatedNonlinearity.lean 9 declarations
RadialUniformAnnulus.lean 1 declarations
RadialUniformCrossBound.lean 1 declarations
RadialUniformDeformation.lean 1 declarations
RadialUniformDerivativeBound.lean 1 declarations
RadialUniformExteriorDeformation.lean 1 declarations
RadialUniformExteriorPressure.lean 2 declarations
RadialUniformGaugeBoundary.lean 1 declarations
RadialUniformGaugeEnergy.lean 2 declarations
RadialUniformGaugeFirstBoundary.lean 1 declarations
RadialUniformJet.lean 2 declarations
RadialUniformModeLine.lean 2 declarations
RadialUniformTailDeformation.lean 3 declarations
RadialUniformTransportBound.lean 1 declarations
RadialUniformVelocityBound.lean 2 declarations
RadialUpperExclusion.lean 2 declarations
RadialVanishingEnergy.lean 2 declarations
RadialVelocityBounds.lean 6 declarations
RadialVelocityCalculus.lean 3 declarations
RadialVelocityConvergence.lean 1 declarations
RadialVelocityEquation.lean 4 declarations
RadialVelocityLocal.lean 1 declarations
RadialVelocityTail.lean 2 declarations
RadialVirialEnergy.lean 4 declarations
RadialVolterraCalculus.lean 4 declarations
RadialVolterraWeight.lean 8 declarations
RadialWeakTesting.lean 1 declarations
RadialWeightComparison.lean 3 declarations
RadialWeightedFlux.lean 3 declarations
RadialWeightedFluxIntegral.lean 2 declarations
RadialWeightedGaugeBoundary.lean 1 declarations
RadialWeightedIntegral.lean 1 declarations
RadialWeightedMassLimit.lean 2 declarations
RadialWeightedParameter.lean 1 declarations
RadialWeightedTransport.lean 2 declarations
RadialWronskian.lean 3 declarations
RadialZeroEnergyDecay.lean 2 declarations
RadianFourierContinuity.lean 5 declarations
RadianFourierDerivatives.lean 2 declarations
RadianFourierInversion.lean 2 declarations
RadianFourierLocalization.lean 7 declarations
RadianFourierSeries.lean 12 declarations
SlowAdjacentParameter.lean 4 declarations
SlowAllOrdersAsymptotic.lean 4 declarations
SlowAsymptoticBound.lean 6 declarations
SlowAsymptoticCoefficients.lean 1 declarations
SlowBoundaryEquation.lean 3 declarations
SlowBoundaryExclusion.lean 1 declarations
SlowCompactAsymptotics.lean 2 declarations
SlowCompactDerivativeAsymptotics.lean 1 declarations
SlowConjugation.lean 4 declarations
SlowDerivativeAsymptotics.lean 2 declarations
SlowEulerDerivative.lean 6 declarations
SlowEulerDifferentialEquation.lean 5 declarations
SlowEulerEquation.lean 7 declarations
SlowEulerParameter.lean 9 declarations
SlowGauge.lean 4 declarations
SlowGaugeDerivativeGrowth.lean 1 declarations
SlowGaugeGrowth.lean 2 declarations
SlowGaugedEquation.lean 2 declarations
SlowGrowth.lean 2 declarations
SlowHigherDerivatives.lean 2 declarations
SlowInitialEquation.lean 5 declarations
SlowIntegralIdentification.lean 1 declarations
SlowJetUniqueness.lean 4 declarations
SlowKernelDerivative.lean 6 declarations
SlowKernelDomination.lean 5 declarations
SlowKernelEndpoint.lean 4 declarations
SlowKernelIntegrability.lean 4 declarations
SlowKummerEquation.lean 6 declarations
SlowLaguerreCone.lean 2 declarations
SlowLaguerreDecay.lean 5 declarations
SlowLaguerreHolomorphy.lean 4 declarations
SlowLaguerreParameterBound.lean 1 declarations
SlowLaguerreRecurrence.lean 4 declarations
SlowLaguerreTail.lean 10 declarations
SlowLaplaceRepresentation.lean 4 declarations
SlowMatchingColumns.lean 5 declarations
SlowParameterDomination.lean 4 declarations
SlowParameterHolomorphy.lean 3 declarations
SlowParameterKernel.lean 3 declarations
SlowPositiveRay.lean 4 declarations
SlowRecurrenceBridge.lean 8 declarations
SlowShiftEquation.lean 5 declarations
SlowSlitDomination.lean 4 declarations
SlowSlitKernel.lean 5 declarations
SlowSpatialBoundary.lean 4 declarations
SlowSpatialDifferentiability.lean 3 declarations
SlowUniformAsymptoticBound.lean 3 declarations
SlowUniformGrowth.lean 5 declarations