Registry · Remark V.R182 tau-effective formalized

V.R182 — Explosion energy and the mass cut

The supernova explosion energy ~10^51 erg (~1% of total neutrino energy). The mass cut separating infalling from ejected material is a phase boundary between regions where d_top increases (infall) and where d_top decreases (ejection).

Book V Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.ExplosionEnergyAndTheMassCut