OAI/Analysis/CoulombIonization/ThomasFermi/
587 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- ActualMeanComparison.lean 5 declarations
- ActualPatchCap.lean 7 declarations
- AnnularApproximationLimitBarrier.lean 2 declarations
- AnnularTFAndCap.lean 1 declarations
- CellCountFeedbackBarrier.lean 2 declarations
- CellDensityBoundBarrier.lean 4 declarations
- CoherentFiniteInsertion.lean 2 declarations
- CoherentPhaseBasis.lean 11 declarations
- CompactDirichletBound.lean 4 declarations
- ConditionalPatchPDE.lean 1 declarations
- ContractFunction.lean 9 declarations
- CoulombLipschitzDuality.lean 3 declarations
- CutMomentBounds.lean 4 declarations
- FlatFermionAverage.lean 18 declarations
- FlatFermionGradient.lean 10 declarations
- FlatFermionMollify.lean 1 declarations
- FullAnnulusNormalization.lean 3 declarations
- InverseNetPropagationBarrier.lean 4 declarations
- InverseThresholdLimitBarrier.lean 6 declarations
- Lp.lean 17 declarations
- NearTFReaction.lean 8 declarations
- NetFieldVariationBarrier.lean 4 declarations
- NuclearDilationBarrier.lean 3 declarations
- OutCutAntisymmetry.lean 6 declarations
- PacketFieldConstant.lean 5 declarations
- Pairing.lean 47 declarations
- PatchCoulombControl.lean 14 declarations
- PatchEuler.lean 10 declarations
- PatchFullPotential.lean 3 declarations
- PatchGap.lean 6 declarations
- PatchGapMeasurable.lean 6 declarations
- PatchRandomVariables.lean 5 declarations
- PatchTF.lean 26 declarations
- PatchTruncationLoss.lean 5 declarations
- QuantumSectorNearMinimizer.lean 7 declarations
- RadialPatchCap.lean 7 declarations
- RadialShellPotential.lean 4 declarations
- ScaledBarrierCorrectionBarrier.lean 7 declarations
- SelectedScreenedProfileBarrier.lean 4 declarations
- SmallEventFieldIntegralBarrier.lean 3 declarations
- SommerfeldCoefficient.lean 19 declarations
- TFMeanComparison.lean 9 declarations
- TFNonradialBarrier.lean 10 declarations
- TFNonradialCap.lean 5 declarations
- TFNonradialOscillation.lean 4 declarations
- Tensor.lean 14 declarations
- TfBallFunctionalConvex.lean 18 declarations
- TfCenteredPrice.lean 7 declarations
- TfDilation.lean 29 declarations
- TfEulerDensity.lean 9 declarations
- TfIncreasingData.lean 44 declarations
- TfInfiniteField.lean 5 declarations
- TfInfiniteFieldDominatesDilation.lean 18 declarations
- TfPotential.lean 6 declarations
- TfPowerIntegralDeriv.lean 18 declarations
- TfReactionCoefficient.lean 36 declarations
- TfRotate.lean 13 declarations
- TfWeight.lean 13 declarations
- UniformFamilyEventBarrier.lean 2 declarations
- UniformPhysicalEvent.lean 1 declarations
- UniformVariableTailEventBarrier.lean 1 declarations
- WeakSommerfeldAsymptoticBarrier.lean 1 declarations
- WeakSommerfeldBoundsBarrier.lean 7 declarations
- dInverseLocalTF.lean 4 declarations