OAI/Analysis/CoulombRadii/FieldAnalysis/
1421 declarations, 0 contain sorry, 0 declared as axioms; 106 files
Files
- AmplitudeOscillation.lean 1 declarations
- AtomicGapScale.lean 10 declarations
- AtomicGlobalScale.lean 10 declarations
- AtomicNear.lean 3 declarations
- AtomicStability.lean 11 declarations
- AtomicWeightGeometry.lean 12 declarations
- AtomicWeighted.lean 10 declarations
- BallCloudDuality.lean 2 declarations
- BinaryOrder.lean 1 declarations
- BlockIndex.lean 17 declarations
- BodyCoefficient.lean 13 declarations
- ColoredObservable.lean 6 declarations
- CommonIsometryApply.lean 4 declarations
- ComplexMollify.lean 34 declarations
- ConfigurationMeasurableEquiv.lean 32 declarations
- CoreCoulombPotential.lean 13 declarations
- CorePerm.lean 26 declarations
- CorePointMeasurable.lean 10 declarations
- CoreReindex.lean 11 declarations
- CosineWeight.lean 35 declarations
- CoulombBilinear.lean 17 declarations
- CoulombTest.lean 10 declarations
- CoulombTransfer.lean 10 declarations
- CubeLabelEquiv.lean 22 declarations
- CubeMassMass.lean 7 declarations
- CubeMeasure.lean 31 declarations
- DeterminantBodyReal.lean 7 declarations
- DeterminantWave.lean 22 declarations
- DyadicInnerRMS.lean 1 declarations
- FarSubmean.lean 12 declarations
- FermionicCoefficients.lean 21 declarations
- FermionicNear.lean 21 declarations
- Field.lean 21 declarations
- FieldSubmean.lean 9 declarations
- FiniteProdSum.lean 7 declarations
- FiniteSubsequence.lean 1 declarations
- FirstParticleDensityNonneg.lean 14 declarations
- FlatBodyDensity.lean 10 declarations
- FlatDensityPower.lean 26 declarations
- FrameDensity.lean 3 declarations
- FrameImageDensity.lean 6 declarations
- FrameOperator.lean 13 declarations
- FreshFieldTransfer.lean 6 declarations
- FreshMeanBounds.lean 5 declarations
- FreshPotentialTower.lean 6 declarations
- FreshTransferScale.lean 10 declarations
- Gaussian.lean 20 declarations
- GeometricRecursion.lean 8 declarations
- GridIndex.lean 40 declarations
- GroupFermionicCoefficients.lean 35 declarations
- HighProjection.lean 13 declarations
- IntegrableIntegralAeTendsto.lean 10 declarations
- IntegrableTsumSummableNormIntegral.lean 3 declarations
- JoinSpins.lean 19 declarations
- LeftPotential.lean 14 declarations
- LipschitzTestEnergy.lean 3 declarations
- LowProjection.lean 4 declarations
- MeridianMap.lean 31 declarations
- MinimizerMidpointControl.lean 1 declarations
- ModulatedRealDerivativeNorm.lean 1 declarations
- NearCoulombFiveHalves.lean 9 declarations
- NewtonInterior.lean 19 declarations
- NewtonSubmean.lean 9 declarations
- NormSqSumCosets.lean 13 declarations
- Occupancy.lean 17 declarations
- OuterJoinConfiguration.lean 38 declarations
- PairRegroup.lean 5 declarations
- PatchNegativeMean.lean 1 declarations
- PatchRawTransfer.lean 2 declarations
- PermOrCompSwapOffTwo.lean 17 declarations
- PermuteJoinBlock.lean 15 declarations
- PhaseRegion.lean 21 declarations
- PhysicalPoisson.lean 6 declarations
- PoissonInterior.lean 3 declarations
- PositiveField.lean 4 declarations
- PotentialAddRsmul.lean 16 declarations
- RawObservable.lean 12 declarations
- RawRMS.lean 15 declarations
- RawThomasFermiEnergy.lean 11 declarations
- RestrictedField.lean 18 declarations
- RetainedFineDensity.lean 18 declarations
- RetainedFineDensityConfigurationMeasurable.lean 6 declarations
- RetainedFinePower.lean 16 declarations
- RotatedDensityPower.lean 15 declarations
- Rotation.lean 68 declarations
- ScaledOscillation.lean 2 declarations
- SliceExpectation.lean 20 declarations
- SlotTensor.lean 9 declarations
- SortedObservable.lean 6 declarations
- Space.lean 37 declarations
- SpinConfigurationIntegral.lean 8 declarations
- SpinCubeEquiv.lean 13 declarations
- SpinMode.lean 36 declarations
- SumSpinDuplicate.lean 7 declarations
- SumSwapNonnegative.lean 3 declarations
- TailClosure.lean 8 declarations
- TsumFixed.lean 12 declarations
- TwoBodyTensorIntegrable.lean 5 declarations
- UniformBall.lean 20 declarations
- UnitNucleus.lean 14 declarations
- WeakDirectionalUnique.lean 5 declarations
- WedgeMultiplicity.lean 21 declarations
- Weighted.lean 10 declarations
- WeightedExchangeAlgebra.lean 13 declarations
- WeightedExterior.lean 8 declarations
- WeightedInner.lean 9 declarations