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.