Registry · Theorem V.T89 tau-effective formalized

V.T89 — Core Collapse Trigger --- V.T41

The topological channel opens (core collapse begins) when the iron core mass satisfies M_c >= M_Ch^eff = M_Ch (1 - f_ec(Y_e)), where f_ec(Y_e) accounts for electron capture reducing the effective Chandrasekhar threshold below 1.44 M_sun.

Book V Part 5 Ch. 39

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.CoreCollapseTriggerVt41