def definition def or abbrev

`charm_threshold`

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

formal statement (Lean)

 288def charm_threshold : FlavorThreshold where
 289  scale := 1.27

Definition body.

 290  n_f_below := 3
 291  n_f_above := 4
 292  h_pos := by norm_num
 293  h_step := by norm_num
 294

Lean names referenced from this declaration's body.