Statement file: q (Ingredients). This file contains exactly one declaration of the formalization's public statement surface.

noncomputable def AVenhance.q (β : ℝ) : ℝ

e.q.def.0 (986-989): q := (1/2) (1 + (2-β)/(2(β-1))).

Equations

• AVenhance.q β = 1 / 2 * (1 + (2 - β) / (2 * (β - 1)))