OAI/Analysis/CoulombRadii/ThomasFermi/
328 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- AtomicRefinedGap.lean 4 declarations
- AtomicThinCounts.lean 8 declarations
- BinaryEnsemble.lean 3 declarations
- CountTestFlux.lean 4 declarations
- FirstFiber.lean 5 declarations
- InverseDensityError.lean 3 declarations
- LpParameter.lean 15 declarations
- PacketFrame.lean 7 declarations
- PatchFieldMeans.lean 3 declarations
- PatchGeometry.lean 8 declarations
- PatchNegativeCost.lean 7 declarations
- PatchResponse.lean 6 declarations
- PhysicalCount.lean 6 declarations
- QuantumProfileDatum.lean 5 declarations
- Rescaling.lean 22 declarations
- ScaledProfile.lean 25 declarations
- TFCountTest.lean 6 declarations
- TFExponent.lean 23 declarations
- TFInterior.lean 9 declarations
- TFNegativeGap.lean 6 declarations
- TFNonneg.lean 21 declarations
- TFOscillation.lean 8 declarations
- TFPotentialParameter.lean 6 declarations
- TFResponseMargins.lean 4 declarations
- TfExtendNonneg.lean 37 declarations
- TfFunctional.lean 8 declarations
- TfFunctionalGapControl.lean 21 declarations
- TfFunctionalUniformBound.lean 20 declarations
- TfPotential.lean 22 declarations
- TfRawVariation.lean 6 declarations