IndisputableMonolith.Physics.GammaRayBursts

declarations in this module (15)

• def solar_mass_energy L17
• def accretion_efficiency L18
• def grb_energy L20
• theorem grb_energy_positive L23
• def typical_grb_energy L26
• theorem typical_grb_in_range L28
• theorem classes_disjoint L35
• theorem long_not_short L38
• theorem lorentz_range L42
• def lorentz_factor L44
• theorem lorentz_positive L46
• def amati_peak L51
• theorem amati_increases L53
• theorem amati_exponent L60
• theorem grb_energy_range L65