Registry · Proposition V.P75 tau-effective formalized

V.P75 — Proto-Neutron Star Evolution --- V.P39

Proto-neutron star evolution is governed by three A-sector processes: neutrino diffusion (t_diff ~ 3-5 s), deleptonization (Y_e decreases as trapped neutrinos escape), and cooling, resulting in a cold degenerate neutron star.

Book V Part 5 Ch. 39

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.ProtoneutronStarEvolutionVp39