theorem proved wrapper

`beta0QCD_nf0`

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

formal statement (Lean)

 126theorem beta0QCD_nf0 : beta0QCD 0 = 11 := by

One-line wrapper that applies norm_num.

 127  norm_num [beta0QCD]
 128

Lean names referenced from this declaration's body.