def definition def or abbrev

`higgsDiscovery`

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

formal statement (Lean)

 225def higgsDiscovery : String :=

proof body

Definition body.

 226  "Discovered at LHC (ATLAS + CMS) on July 4, 2012"
 227
 228/-- Higgs couplings:
 229
 230    H couples to mass:
 231    - g_Hff = m_f / v (fermions)
 232    - g_HVV = 2 m_V² / v (gauge bosons)
 233
 234    Heavier particles couple more strongly! -/

depends on (2)

Lean names referenced from this declaration's body.

H in IndisputableMonolith.Algebra.CostAlgebra decl_use
H in IndisputableMonolith.Cost.FunctionalEquation decl_use