def definition def or abbrev

`weakBosonCount`

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

formal statement (Lean)

  67def weakBosonCount : ℕ := 3

Definition body.

  68
  69/-- SU(2) generators correspond to 3D rotations. -/

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

totalWeakPolarizations in IndisputableMonolith.Physics.WeakForceEmergence decl_use
weak_bosons_eq_generators in IndisputableMonolith.Physics.WeakForceEmergence decl_use