theorem proved term proof

`weak_bosons_eq_generators`

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

formal statement (Lean)

  73theorem weak_bosons_eq_generators : weakBosonCount = su2Generators := rfl

Term-mode proof.

  74
  75/-! ## Chirality -/
  76
  77/-- Left-handed chirality couples to weak force. -/

Lean names referenced from this declaration's body.

su2Generators in IndisputableMonolith.Physics.IsospinSymmetryFromRS decl_use
su2Generators in IndisputableMonolith.Physics.WeakForceEmergence decl_use
weakBosonCount in IndisputableMonolith.Physics.WeakForceEmergence decl_use