OAI/Analysis/CoulombRadii/Localization/
294 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- AnnularCut.lean 12 declarations
- AnnularHistory.lean 4 declarations
- AtomicHistory.lean 8 declarations
- AtomicRetainedGap.lean 3 declarations
- ConfigSupported.lean 12 declarations
- CutCombinatorics.lean 16 declarations
- CutCore.lean 5 declarations
- CutRefinement.lean 6 declarations
- DeletedLabels.lean 16 declarations
- DeletionEnvelope.lean 11 declarations
- DensityCut.lean 12 declarations
- DyadicTailPartial.lean 5 declarations
- ExteriorCut.lean 9 declarations
- HarmonicInterior.lean 29 declarations
- HarmonicScale.lean 4 declarations
- Partial.lean 13 declarations
- RadialAppend.lean 1 declarations
- RadialCut.lean 25 declarations
- RegularizedBounds.lean 5 declarations
- ShellChoice.lean 7 declarations
- ShellIMS.lean 7 declarations
- SmoothMultiplier.lean 36 declarations
- ThinCut.lean 20 declarations
- ThinIMS.lean 3 declarations
- TotalDeletion.lean 10 declarations
- TruncatedCoulomb.lean 15 declarations