Statement file: gamma (Ingredients).
This file contains exactly one declaration of the formalization's public statement surface.
e.gamma (1025): γ := (q-1)β/(q+1).
Equations
- AVenhance.gamma β = (AVenhance.q β - 1) * β / (AVenhance.q β + 1)
Statement file: gamma (Ingredients).
This file contains exactly one declaration of the formalization's public statement surface.
e.gamma (1025): γ := (q-1)β/(q+1).