def definition def or abbrev

`geometric_seed`

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

formal statement (Lean)

 105noncomputable def geometric_seed : ℝ :=

Definition body.

 106  128 * Real.log (Real.pi / 2) + 45 * Real.log phi
 107
 108/-- α⁻¹ ≈ 137.036 (the empirical value). -/

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

alphaInv_derived in IndisputableMonolith.Constants.AlphaDerivation decl_use
alpha_seed_structural in IndisputableMonolith.Constants.AlphaDerivation decl_use
curvature_term_eq in IndisputableMonolith.Constants.AlphaDerivation decl_use
geometric_seed in IndisputableMonolith.Constants.AlphaDerivation decl_use
geometric_seed_eq in IndisputableMonolith.Constants.AlphaDerivation decl_use
geometric_seed_eq_solidAngle_times_11 in IndisputableMonolith.Constants.SolidAngleExclusivity decl_use
geometric_seed in IndisputableMonolith.Cosmology.CosmologicalConstantDerivation decl_use
geometric_seed_pos in IndisputableMonolith.Cosmology.CosmologicalConstantDerivation decl_use
alphaSeed in IndisputableMonolith.Physics.LeptonGenerations.FractionalStepDerivation decl_use
alphaSeed_eq in IndisputableMonolith.Physics.LeptonGenerations.FractionalStepDerivation decl_use
alpha_inv_formula in IndisputableMonolith.RRF.Foundation.Constants decl_use

Lean names referenced from this declaration's body.

geometric_seed in IndisputableMonolith.Constants.AlphaDerivation decl_use
geometric_seed in IndisputableMonolith.Cosmology.CosmologicalConstantDerivation decl_use
value in IndisputableMonolith.QFT.SpinStatistics decl_use