OAI/Analysis/CoulombIonization/Variational/
1036 declarations, 0 contain sorry, 0 declared as axioms; 101 files
Files
- ActualSectorPlateau.lean 6 declarations
- AllSectorEnergy.lean 4 declarations
- BindingBase.lean 34 declarations
- BindingNuclearSum.lean 12 declarations
- BindingPairApproxIntegral.lean 12 declarations
- BindingResidual.lean 3 declarations
- BindingWeightContinuous.lean 22 declarations
- BlockEnergy.lean 11 declarations
- BlockPermutations.lean 10 declarations
- BlockSwap.lean 13 declarations
- BoundedDensityPotential.lean 10 declarations
- ClosedInnerStatistic.lean 14 declarations
- CoherentBessel.lean 6 declarations
- CoherentDensity.lean 11 declarations
- CoherentDensityTrace.lean 6 declarations
- CoherentOrbitals.lean 9 declarations
- CoherentResolution.lean 5 declarations
- CompactPotential.lean 16 declarations
- ComplexOccupation.lean 1 declarations
- ComplexRealWeightPairing.lean 12 declarations
- ConfigurationCoordinates.lean 10 declarations
- ContinuousUniversalEvent.lean 4 declarations
- CorePriceExcess.lean 15 declarations
- CorrelatedFiniteInsertion.lean 16 declarations
- CoulombNear.lean 32 declarations
- CoulombTestCharge.lean 11 declarations
- CutCoreExcess.lean 7 declarations
- CutCoreNumber.lean 15 declarations
- CutExpectedOut.lean 7 declarations
- DeletedPotential.lean 7 declarations
- DiffuseSeed.lean 22 declarations
- Electrostatic.lean 7 declarations
- ExpectedFullPotential.lean 3 declarations
- ExpectedTruncatedControl.lean 11 declarations
- FatouIntegrable.lean 1 declarations
- FinitePotentialDecay.lean 5 declarations
- FreshPatchBudget.lean 2 declarations
- FullCoulomb.lean 13 declarations
- FullPotentialComparison.lean 3 declarations
- FullSliceStatistics.lean 5 declarations
- GridIncrementError.lean 4 declarations
- HardySquare.lean 2 declarations
- Inner.lean 13 declarations
- InnerPotential.lean 12 declarations
- InsertionSwap.lean 18 declarations
- IntegrableCutTower.lean 11 declarations
- IntegralFourierInvMul.lean 2 declarations
- IntegratedLipschitzControl.lean 8 declarations
- IntegratedTruncatedControl.lean 7 declarations
- L2.lean 4 declarations
- LocalWidthKernel.lean 15 declarations
- MasterKernelFubini.lean 13 declarations
- MasterRecovery.lean 9 declarations
- MasterWidth.lean 21 declarations
- NegativePatchControl.lean 5 declarations
- NewtonComparisonTest.lean 13 declarations
- OccupationTraces.lean 4 declarations
- OrbitalPole.lean 12 declarations
- OriginalKernelEvent.lean 2 declarations
- OutRetainedLower.lean 8 declarations
- OwnStateResidual.lean 8 declarations
- PatchBounded.lean 30 declarations
- PatchCenterIntegrable.lean 4 declarations
- PatchContinuity.lean 4 declarations
- PatchMeasurable.lean 7 declarations
- PatchTranslatedDensity.lean 12 declarations
- PhaseBathtub.lean 11 declarations
- Pointwise.lean 4 declarations
- PotentialRecovery.lean 5 declarations
- RetainedRepulsion.lean 6 declarations
- RootCoulomb.lean 10 declarations
- RotationCoreKernelIntegrable.lean 13 declarations
- ScaledOriginalCap.lean 3 declarations
- ScaledSpatialInverse.lean 1 declarations
- SelectedMasterComparison.lean 5 declarations
- SelectedPatchBudget.lean 5 declarations
- ShortRangePotential.lean 2 declarations
- SliceLp.lean 3 declarations
- Slices.lean 32 declarations
- SmearRepulsion.lean 12 declarations
- SmearingPotential.lean 6 declarations
- SmoothCompactIntegral.lean 20 declarations
- SmoothNewton.lean 9 declarations
- SmoothTransitionBound.lean 15 declarations
- Space.lean 9 declarations
- Spatial.lean 21 declarations
- SpatialErrorWeight.lean 8 declarations
- SpatialProductFactor.lean 7 declarations
- SpatialRotation.lean 29 declarations
- SpinEnergy.lean 5 declarations
- SpinFinite.lean 7 declarations
- SpinJoinEquiv.lean 11 declarations
- SpinSpaceIntegrable.lean 6 declarations
- SumPairsHalf.lean 15 declarations
- TensorLp.lean 25 declarations
- TruncatedCoulomb.lean 11 declarations
- Weighted.lean 13 declarations
- WeightedCauchy.lean 1 declarations
- WeightedMass.lean 26 declarations
- WeightedVariance.lean 12 declarations
- WidthKernelAmplitude.lean 7 declarations