def definition def or abbrev

`phi_27`

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

formal statement (Lean)

 180def phi_27 : ℝ := phi ^ 27

Definition body.

 181
 182/-! ## Higgs Connection -/
 183
 184/-- Higgs boson mass in GeV. -/