amati_exponent
plain-language theorem explainer
Amati exponent evaluates to one half by adding the quarter contribution from Lorentz factor scaling to the quarter from isotropic energy square root. GRB modelers working in Recognition Science cite this for the correlation exponent. Proof applies direct numerical normalization to the arithmetic identity.
Claim. $1/4 + 1/4 = 1/2$, where the left side combines the exponent from $Γ ∝ E_{iso}^{1/4}$ with the square-root factor from isotropic energy.
background
The module develops gamma-ray burst properties in Recognition Science following the paper RS_Gamma_Ray_Bursts.tex. Energy quantities appear as real numbers via the upstream abbreviation Energy := ℝ. Sibling declarations handle GRB energy scales, accretion efficiency, and Lorentz factors.
proof idea
One-line wrapper that applies norm_num to the arithmetic equality.
why it matters
Supplies the exponent in the Amati relation for the GRB module. It fills the scaling step that combines Lorentz and energy factors in the Recognition Science treatment of gamma-ray bursts.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.