theorem proved term proof

`w_boson_count`

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

formal statement (Lean)

  42theorem w_boson_count : wBosonCount = 3 := by decide

Term-mode proof.

  43
  44/-- Total force carriers: 8 + 3 + 1 = 12 (before EWSB). -/

Lean names referenced from this declaration's body.

before in IndisputableMonolith.Foundation.TimeEmergence decl_use
wBosonCount in IndisputableMonolith.Physics.StandardModelGroupStructure decl_use