def definition def or abbrev

`shellRadiusProxy`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  37def shellRadiusProxy (Z : ℕ) : ℝ :=

proof body

Definition body.

  38  Constants.phi ^ (shellNumber Z : ℝ)
  39
  40/-- Screening factor: valence electrons penetrate less as they increase.
  41    radius ~ shellRadius * (1 - valence/periodLength) -/

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

radiusProxy in IndisputableMonolith.Chemistry.AtomicRadii decl_use

depends on (8)

Lean names referenced from this declaration's body.

shellNumber in IndisputableMonolith.Chemistry.AtomicRadii decl_use
periodLength in IndisputableMonolith.Chemistry.PeriodicTable decl_use
shellRadius in IndisputableMonolith.Chemistry.SolvationShellsFromConfigDim decl_use
radius in IndisputableMonolith.Complexity.CellularAutomata decl_use
Constants in IndisputableMonolith.CPM.LawOfExistence decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
Z in IndisputableMonolith.Masses.Anchor decl_use
Z in IndisputableMonolith.Physics.AnchorPolicyCertified decl_use