Registry · Proposition V.P74 tau-effective formalized

V.P74 — Plateau Duration as Readout --- V.P38

The Type IIP supernova plateau duration t_plateau ~ M_env^{1/2} E_exp^{-1/6} R_0^{1/6} kappa^{1/6} is a readout of the hydrogen envelope mass, explosion energy, progenitor radius, and opacity, with constants determined by iota_tau and m_n.

Book V Part 5 Ch. 39

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.PlateauDurationAsReadoutVp38