electronMass_GeV
plain-language theorem explainer
Electron mass receives the fixed assignment 0.000511 GeV to serve as the reference scale in the electroweak sector. Researchers normalizing VEV and W-boson masses to the lepton scale cite this constant when forming ratios that connect to the phi-ladder. The declaration is a direct numerical assignment containing no lemmas or reduction steps.
Claim. The electron rest mass is defined by the constant assignment $m_e = 0.000511$ GeV.
background
The ElectroweakBosons module places boson and lepton masses on the phi-ladder that emerges from the J-cost minimum after electroweak symmetry breaking. The vacuum expectation value v sets the scale near 246 GeV, with the electron mass located at a lower rung; the module derives the W/Z ratio from the gauge embedding and the weak mixing angle. Upstream results supply the constant W as the number of wallpaper groups (17), which enters the topological ledger fraction (W + E)/4E_p used in mass topology derivations.
proof idea
Direct numerical definition with no lemmas applied and no tactics invoked.
why it matters
The definition anchors the downstream ratios vev_electron_ratio and w_electron_ratio, which the module doc-comment links to phi^27 and phi^23 respectively. It supplies the reference scale for the electroweak predictions (m_W ≈ 80.38 GeV, m_Z ≈ 91.19 GeV, sin²θ_W ≈ 0.231) listed under P-015, P-016 and C-004. Within the Recognition framework the constant sits below the T5 J-uniqueness and T8 D = 3 steps that fix the spatial and mass-ladder structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.