def definition def or abbrev

`phi_12`

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

formal statement (Lean)

 136def phi_12 : ℝ := phi ^ 12

Definition body.

 137
 138/-! ## Mass Difference -/
 139
 140/-- π⁺ - π⁰ mass difference in MeV. -/

Lean names referenced from this declaration's body.