def definition def or abbrev

`ionizationProxy`

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

formal statement (Lean)

  35def ionizationProxy (Z : ℕ) : ℕ :=

proof body

Definition body.

  36  valenceElectrons Z
  37
  38/-- Period-normalized ionization: proxy / period length.
  39    Noble gases have value 1.0, alkali metals have value 1/n. -/

used by (5)

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

alkali_min_ionization in IndisputableMonolith.Chemistry.IonizationEnergy decl_use
ionization_monotone_within_period in IndisputableMonolith.Chemistry.IonizationEnergy decl_use
noble_max_ionization in IndisputableMonolith.Chemistry.IonizationEnergy decl_use
normalizedIonization in IndisputableMonolith.Chemistry.IonizationEnergy decl_use
sawtooth_reset in IndisputableMonolith.Chemistry.IonizationEnergy decl_use

depends on (6)

Lean names referenced from this declaration's body.

period in IndisputableMonolith.Astrophysics.PulsarEmissionRegimesFromRS decl_use
valenceElectrons in IndisputableMonolith.Chemistry.PeriodicTable decl_use
Z in IndisputableMonolith.Masses.Anchor decl_use
normalized in IndisputableMonolith.NavierStokes.RunningMaxNormalization decl_use
Z in IndisputableMonolith.Physics.AnchorPolicyCertified decl_use
value in IndisputableMonolith.QFT.SpinStatistics decl_use