theorem proved term proof

`doublet_from_isospin`

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

formal statement (Lean)

 213theorem doublet_from_isospin : leptonDoublet = 2 := rfl

Term-mode proof.

 214
 215/-! ## Decay Processes -/
 216
 217/-- Beta decay: n → p + e⁻ + ν̄e via W⁻. -/

Lean names referenced from this declaration's body.

via in IndisputableMonolith.Derivations.MassToLight decl_use
W in IndisputableMonolith.Masses.Anchor decl_use
W in IndisputableMonolith.Physics.LeptonGenerations.TauStepDerivation decl_use
W in IndisputableMonolith.Physics.MassTopology decl_use
leptonDoublet in IndisputableMonolith.Physics.WeakForceEmergence decl_use