OAI/Analysis/CoulombRadii/FormDomain/
544 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- Add.lean 37 declarations
- AppendJensen.lean 14 declarations
- AtomicPhysicalKinetic.lean 6 declarations
- BallTrial.lean 8 declarations
- CoreKinetic.lean 15 declarations
- CoreSliceRegular.lean 23 declarations
- CubeGradient.lean 8 declarations
- ExplicitMultiplyGradient.lean 36 declarations
- FieldOptimization.lean 2 declarations
- H1EnergyLimit.lean 5 declarations
- H1Pairing.lean 20 declarations
- H1VectorL2.lean 16 declarations
- HardyMollifier.lean 22 declarations
- HilbertBasisContaining.lean 2 declarations
- HilbertBasisSumSqInner.lean 4 declarations
- L1L2Fourier.lean 11 declarations
- L2KernelIntegral.lean 1 declarations
- L2MeasureInclusion.lean 5 declarations
- L2MultiplierContinuity.lean 11 declarations
- L2MultiplierDistribution.lean 6 declarations
- L2TightCompact.lean 7 declarations
- L2WeightedDensitySetIntegral.lean 1 declarations
- ObservationAtomic.lean 6 declarations
- OrbitalHilbertBasis.lean 33 declarations
- PacketStateL2Norm.lean 4 declarations
- ParticleGradientNorm.lean 44 declarations
- PatchErrors.lean 7 declarations
- PhysicalEnsemble.lean 4 declarations
- Pullback.lean 28 declarations
- RawAnnularMoment.lean 3 declarations
- RecordReindex.lean 11 declarations
- RegularizedHardyField.lean 27 declarations
- RegularizedKinetic.lean 6 declarations
- RetainedPotentialMean.lean 7 declarations
- SchwartzFourierDerivativeNorm.lean 5 declarations
- SchwartzSquareIntegrable.lean 5 declarations
- SmoothCompact.lean 19 declarations
- SortedCut.lean 10 declarations
- SpaceFourierL2.lean 4 declarations
- TfGradientField.lean 7 declarations
- ThomasFermiKineticConstant.lean 5 declarations
- Translate.lean 20 declarations
- WeakFourierDerivative.lean 13 declarations
- WeakHilbertCompact.lean 3 declarations
- WeakSchwartzDerivative.lean 12 declarations
- WindowSquare.lean 1 declarations