`electroweak_8_tick`

proved

show as: view math explainer →

module: IndisputableMonolith.Physics.ElectroweakBosons
domain: Physics
line: 239 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.ElectroweakBosons on GitHub at line 239.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

has IndisputableMonolith.Engineering.AsteroidOreSpectroscopy

formal source

 236def electroweakBosons : ℕ := 4
 237
 238/-- 8 / 2 = 4 bosons. -/
 239theorem electroweak_8_tick : 8 / 2 = 4 := by native_decide
 240
 241/-- The Z⁰ has 3 polarization states (massive spin-1). -/
 242def zPolarizations : ℕ := 3
 243
 244/-- The W⁺ and W⁻ together have 6 polarization states. -/
 245def wPolarizations : ℕ := 6  -- 3 each for W⁺ and W⁻
 246
 247end
 248
 249end ElectroweakBosons
 250end Physics
 251end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.