Registry · Theorem IV.T367 established not_formalized IV.T367 — Thermonuclear Supernova (Type Ia) White dwarf exceeds Chandrasekhar limit: enumerate Runaway carbon fusion Complete disruption (no remnant) Book IV Part 5 Ch. 42