Registry · Definition V.D70 tau-effective formalized

V.D70 — Canonical star builder

The canonical star builder Star_n(k): N_{>0} x {D,A,B,C,omega} -> H_partial[omega] takes baryon count n and dominant sector index k as input and produces the unique equilibrium carrier representing the stellar configuration via the NF Einstein iteration.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (2)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.CanonicalStarBuilder