proposition 49.5 White-dwarf mass–radius relation
open in the book ·
parts/05-general-relativity-cosmology/08-compact-stars.tex:313
· p. 1344
Rests on
- depends_on equation 49.7 eq:compact-lane-emden-mass ¶
- depends_on equation 49.2 eq:compact-nr-pressure ¶
- proves proof ch:08-compact-stars@proof-4 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | eq:compact-lane-emden-mass | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:325 |
depends_on |
→ | eq:compact-nr-pressure | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:325 |
proves |
← | ch:08-compact-stars@proof-4 | declared | parts/05-general-relativity-cosmology/08-compact-stars.tex:328 |