Registry · Definition V.D124 tau-effective formalized

V.D124 — Degeneracy Pressure Character --- V.D57

The degeneracy pressure character P_deg = ((3 pi^2)^{2/3} hbar^2 / (5 m_e)) n_e^{5/3} is the B-sector boundary character encoding the resistance of a fully occupied Fermi sea to compression, with m_e from the tau mass ratio formula.

Book V Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.DegeneracyPressureCharacterVd57