def
definition
wPolarizations
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Physics.ElectroweakBosons on GitHub at line 245.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
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