OAI/Analysis/CoulombIonization/RadialBounds/
1321 declarations, 0 contain sorry, 0 declared as axioms; 154 files
Files
- ActualBandInverseBarrier.lean 7 declarations
- ActualLowInverseBarrier.lean 3 declarations
- ActualSimultaneousCapBarrier.lean 5 declarations
- ActualTailTiltBarrier.lean 2 declarations
- AnnularCellGeometryBarrier.lean 14 declarations
- AnnularCutExcess.lean 5 declarations
- AnnularEventNumericsBarrier.lean 7 declarations
- AnnularFirst.lean 2 declarations
- ArbitraryCutExcess.lean 4 declarations
- Average.lean 13 declarations
- BallAverageKernelBarrier.lean 30 declarations
- BandInverseNumericsBarrier.lean 7 declarations
- BarrierActualInitializationBarrier.lean 3 declarations
- BarrierChargeBound.lean 1 declarations
- BarrierDataSelectionBarrier.lean 9 declarations
- BarrierDilationBarrier.lean 9 declarations
- BarrierForgettingBarrier.lean 2 declarations
- BarrierForgottenInvariantBarrier.lean 2 declarations
- BarrierInitialBoundsBarrier.lean 13 declarations
- BarrierInitialCapsBarrier.lean 4 declarations
- BarrierInitialInvariantBarrier.lean 8 declarations
- BarrierInitialLipschitzBarrier.lean 21 declarations
- BarrierInitializationBarrier.lean 15 declarations
- BarrierLimitPositiveBarrier.lean 3 declarations
- BarrierMasterRegularityBarrier.lean 13 declarations
- BarrierNuclearScaleBarrier.lean 16 declarations
- BarrierOriginalForgettingBarrier.lean 12 declarations
- BarrierOuterWeakBarrier.lean 15 declarations
- BarrierQuantitativeStepBarrier.lean 6 declarations
- BarrierRetainedComparisonBarrier.lean 9 declarations
- BarrierRetainedFiniteBarrier.lean 9 declarations
- BarrierSmoothMaxBarrier.lean 15 declarations
- BarrierSpatialBarrier.lean 3 declarations
- BarrierSpatialNetBarrier.lean 10 declarations
- BarrierStepBarrier.lean 9 declarations
- BarrierStepGeometryBarrier.lean 20 declarations
- BarrierStepWeakBarrier.lean 9 declarations
- BarrierTowerBarrier.lean 18 declarations
- BarrierTransferBarrier.lean 1 declarations
- BarrierTransferGlobal.lean 1 declarations
- BarrierTruncationBarrier.lean 11 declarations
- BarrierWeakMaxGeneralBarrier.lean 6 declarations
- BindingBounds.lean 4 declarations
- BoundedL1PotentialBarrier.lean 6 declarations
- CapBudgetHomogeneityBarrier.lean 7 declarations
- CapInformationBarrier.lean 3 declarations
- CellBudgetNormalizationBarrier.lean 5 declarations
- CellCountAbsorptionBarrier.lean 8 declarations
- CellCountSupremumBarrier.lean 11 declarations
- CellScaleBarrier.lean 5 declarations
- CoreHistoryCountsBarrier.lean 15 declarations
- CoreHistoryFermionBarrier.lean 5 declarations
- CoreMultiplierLiftBarrier.lean 22 declarations
- CoreSubmeanBarrier.lean 2 declarations
- CorrectionPotentialSmallBarrier.lean 9 declarations
- CoulombBallIntegral.lean 3 declarations
- CoulombSelfBound.lean 5 declarations
- CoulombTailNumerics.lean 24 declarations
- CoulombTailStatistic.lean 8 declarations
- CoupledCoreExcessBarrier.lean 11 declarations
- Cut.lean 6 declarations
- Error.lean 1 declarations
- ExpandedAnnulusCapExcess.lean 2 declarations
- ExpandedAnnulusCapNumerics.lean 2 declarations
- ExpandedAnnulusGeometry.lean 4 declarations
- ExpandedAnnulusInverse.lean 3 declarations
- ExpectedRadialCapBarrier.lean 10 declarations
- ExteriorScreenNumerics.lean 16 declarations
- FermiMeasure.lean 12 declarations
- FiniteBarrier.lean 5 declarations
- FockKineticReindexBarrier.lean 10 declarations
- FreshCutBarrier.lean 3 declarations
- FreshInnerCountsBarrier.lean 7 declarations
- FreshRetainedMassBarrier.lean 8 declarations
- FullAnnulusBandCover.lean 2 declarations
- FullAnnulusGeometry.lean 6 declarations
- FullAnnulusGoodEvent.lean 3 declarations
- FullAnnulusWidthNumerics.lean 6 declarations
- Geometry.lean 9 declarations
- GlobalDensityBarrier.lean 18 declarations
- InverseBudgetScaleBarrier.lean 8 declarations
- InverseKernelMassBarrier.lean 8 declarations
- InverseNumericalStatementsBarrier.lean 10 declarations
- InverseThresholdMarginsBarrier.lean 14 declarations
- LocalArzelaAscoliBarrier.lean 6 declarations
- LocalBallTraceBarrier.lean 9 declarations
- LocalCountGapBarrier.lean 10 declarations
- LocalDensityTraceBarrier.lean 11 declarations
- LocalFermionDensityBarrier.lean 6 declarations
- LocalHistoryWeightsBarrier.lean 12 declarations
- LocalOrdinaryBarrier.lean 10 declarations
- MasterExteriorStatistic.lean 12 declarations
- MomentumBall.lean 7 declarations
- NonlinearLocalLimitBarrier.lean 6 declarations
- NormalizedMasterEvent.lean 5 declarations
- OriginalAnnularOscillationBarrier.lean 5 declarations
- OutwardBarrier.lean 4 declarations
- OwnProbabilityBudgetScaleBarrier.lean 3 declarations
- OwnProbabilityRareCapBarrier.lean 6 declarations
- OwnProbabilityTailTiltBarrier.lean 3 declarations
- PatchAverageSubmeanBarrier.lean 3 declarations
- PatchFailureMass.lean 8 declarations
- PatchMass.lean 5 declarations
- PointInverseEventsCell.lean 4 declarations
- PolynomialProbabilityBudgetBarrier.lean 5 declarations
- Radial.lean 13 declarations
- RadialAxis.lean 28 declarations
- RadialCenterRawComparison.lean 4 declarations
- RadialCountSelection.lean 8 declarations
- RadialInside.lean 13 declarations
- RadialMeanCenterBarrier.lean 4 declarations
- RadialPatchGeometry.lean 19 declarations
- RadialPotentialSqrtDeriv.lean 4 declarations
- RadialSelectedCounts.lean 4 declarations
- RetainedNeighborhoodBarrier.lean 3 declarations
- RootMomentCauchyBarrier.lean 19 declarations
- RotationIntegralBarrier.lean 9 declarations
- RotationShellBarrier.lean 6 declarations
- ScreenedLimitDynamicsBarrier.lean 2 declarations
- SelectedBarrierLimitBarrier.lean 1 declarations
- SelectedData.lean 5 declarations
- SelectionBudget.lean 7 declarations
- SelectionDiagonal.lean 2 declarations
- SelectionNumerics.lean 15 declarations
- SharpBudgetMonotoneBarrier.lean 4 declarations
- SharpErrorLimitBarrier.lean 14 declarations
- SharpFreshPatchBarrier.lean 13 declarations
- SharpLocalPotentialBarrier.lean 9 declarations
- SharpMasterPotentialBarrier.lean 2 declarations
- SharpOrdinaryCapBarrier.lean 9 declarations
- ShellAbsorptionNumerics.lean 7 declarations
- ShellBias.lean 13 declarations
- ShellBiasEnergy.lean 8 declarations
- ShellCoulombDuality.lean 7 declarations
- ShellCutoffBounds.lean 3 declarations
- ShellResidualControl.lean 19 declarations
- ShellTelescoping.lean 26 declarations
- SpatialCapSubmeanBarrier.lean 9 declarations
- SphericalMeanLimitBarrier.lean 6 declarations
- SquareCompletion.lean 27 declarations
- StripAveraging.lean 23 declarations
- TailInitialEventuallyBarrier.lean 9 declarations
- TailInitialPointwiseBarrier.lean 3 declarations
- TailParticleCount.lean 8 declarations
- TinyProbabilityFloorBarrier.lean 5 declarations
- TranslatedShortRange.lean 4 declarations
- TruncationRadius.lean 24 declarations
- UniformNetErrorsBarrier.lean 2 declarations
- UnshiftedCellCountBarrier.lean 16 declarations
- WeakPuncturedMaximumBarrier.lean 5 declarations
- WeakSemilinearComparison.lean 1 declarations
- WeakSingularProfileBarrier.lean 13 declarations
- WeakWindowMoment.lean 13 declarations
- dShellForm.lean 15 declarations