Registry · Theorem V.T88 tau-effective formalized

V.T88 — Compact-Object Classification --- V.T40

Every compact stellar remnant is classified by core mass relative to two relational thresholds: M_c < M_Ch gives white dwarf (B-sector electron degeneracy), M_Ch <= M_c < M_TOV gives neutron star (C-sector nuclear pressure), M_c >= M_TOV gives black hole (d_top = 1).

Book V Part 5 Ch. 38

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.CompactobjectClassificationVt40