No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
76def pionElectronRatio : ℝ := pionChargedMass_eV / electronMass_eV
proof body
Definition body.
77
78/-- Predicted ratio from φ: φ^12 / 2 × (E_coh / m_e). -/
used by (1)
From the project-wide theorem graph. These declarations reference this one in their body.
depends on (4)
Lean names referenced from this declaration's body.
-
m_e
in IndisputableMonolith.Constants.ProtonElectronMassRatio
decl_use
-
from
in IndisputableMonolith.Foundation.PrimitiveDistinction
decl_use
-
electronMass_eV
in IndisputableMonolith.Physics.PionMasses
decl_use
-
pionChargedMass_eV
in IndisputableMonolith.Physics.PionMasses
decl_use