def definition def or abbrev

`mass_ref_MeV`

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

formal statement (Lean)

 177def mass_ref_MeV : ℝ := 0.510998950

Definition body.

 178
 179/-- The Residue Δ = log_φ(m_obs / m_struct).
 180    Value from audit: -20.70596. -/

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

electron_residue in IndisputableMonolith.Physics.ElectronMass.Defs decl_use
electron_residue in IndisputableMonolith.RRF.Physics.ElectronMass.Defs decl_use
mass_ref_MeV in IndisputableMonolith.RRF.Physics.ElectronMass.Defs decl_use

Lean names referenced from this declaration's body.