def definition def or abbrev

`mass_evolution_exp`

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

formal statement (Lean)

 244noncomputable def mass_evolution_exp (n_f : ℕ) : ℝ :=

Definition body.

 245  mass_anomalous_dim / (2 * b0_qcd n_f)
 246

From the project-wide theorem graph. These declarations reference this one in their body.

mass_evo_exp_nf3 in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_evo_exp_nf4 in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_evo_exp_nf5 in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_evo_exp_nf6 in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_evolution_exp_pos in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_ratio_rg_invariant in IndisputableMonolith.Physics.RunningCouplings decl_use
running_mass in IndisputableMonolith.Physics.RunningCouplings decl_use

Lean names referenced from this declaration's body.

b0_qcd in IndisputableMonolith.Physics.RunningCouplings decl_use
mass_anomalous_dim in IndisputableMonolith.Physics.RunningCouplings decl_use