theorem proved term proof

`grb_energy_range`

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

formal statement (Lean)

  65theorem grb_energy_range :
  66    ∃ E : ℝ, 1e51 < E ∧ E < 1e54 :=

Term-mode proof.

  67  ⟨typical_grb_energy, typical_grb_in_range.1, typical_grb_in_range.2⟩
  68
  69end GRB
  70end Physics
  71end IndisputableMonolith

Lean names referenced from this declaration's body.

E in IndisputableMonolith.Foundation.SpectralEmergence decl_use
typical_grb_energy in IndisputableMonolith.Physics.GammaRayBursts decl_use
typical_grb_in_range in IndisputableMonolith.Physics.GammaRayBursts decl_use