OAI/Analysis/CoulombRadii/Screening/
257 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- AnnularSubmeanCap.lean 3 declarations
- AtomicBudgetHistory.lean 4 declarations
- AtomicBudgetScreening.lean 17 declarations
- AtomicCapRaw.lean 3 declarations
- AtomicMasterFresh.lean 2 declarations
- AtomicMasterRelative.lean 2 declarations
- AtomicNumber.lean 6 declarations
- AtomicPatchCap.lean 8 declarations
- CoreCount.lean 14 declarations
- CoreMoment.lean 4 declarations
- CoreScreenedField.lean 6 declarations
- CountMoments.lean 15 declarations
- CountScalar.lean 21 declarations
- CountUnits.lean 11 declarations
- CoveredOutCost.lean 4 declarations
- DeficitMoment.lean 4 declarations
- FineCountTest.lean 9 declarations
- InnerCap.lean 10 declarations
- LogTailMoment.lean 6 declarations
- NegativeCost.lean 2 declarations
- OutCap.lean 10 declarations
- PatchComparison.lean 4 declarations
- PhysicalCapMoment.lean 8 declarations
- PhysicalLTBridge.lean 3 declarations
- PhysicalSpatialCap.lean 1 declarations
- ScaledFieldCap.lean 6 declarations
- ScaledTest.lean 14 declarations
- ScreenNumeric.lean 13 declarations
- ScreenRecurrence.lean 7 declarations
- ScreenUnits.lean 11 declarations
- ScreeningNormalization.lean 5 declarations
- SharpThinScreening.lean 7 declarations
- ShellSummable.lean 5 declarations
- UniformCountConsequences.lean 8 declarations
- UpperDeficit.lean 4 declarations