`OAI/Analysis/CoulombRadii/RadialBounds/`

48 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AtomicMasterError.lean 2 declarations
InteriorBarrier.lean 8 declarations
NearActive.lean 1 declarations
PhysicalBarrierData.lean 1 declarations
PhysicalShellError.lean 2 declarations
Radial.lean 17 declarations
SpatialAnnulus.lean 17 declarations