Registry · Definition V.D336 conjectural formalized

V.D336 — Neutron Star Crust-Core Transition Density

Crust-core transition at ρ_cc = ρ₀(1−κ_D) ≈ 0.5ρ₀ where mobility-compressibility inequality reverses. κ_D = 1−ι_τ ≈ 0.659. First-order inequality reversal in (μ,ν,κ,θ) tuple. Within standard nuclear physics range (0.3–0.7ρ₀).

Book V Part 4 Ch. 33

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.NSCrustCoreTransition