proposition 52.7 Exact solutions
open in the book ·
parts/05-general-relativity-cosmology/11-stellar-structure-nucleosynthesis.tex:282
· p. 1390
Rests on
- depends_on equation 52.9 eq:stellar-lane-emden ¶
-
depends_on
theorem 52.6
Lane–Emden equation
¶
- depends_on equation 52.2 eq:stellar-hydrostatic ¶
- depends_on equation 52.1 eq:stellar-mass-continuity ¶
- depends_on equation 52.7 eq:stellar-polytrope-eos ¶
- proves proof ch:11-stellar-structure-nucleosynthesis@proof-4 ¶
- proves derived proof ch:11-stellar-structure-nucleosynthesis@proof-5 ¶
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:stellar-lane-emden | declared | parts/05-general-relativity-cosmology/11-stellar-structure-nucleosynthesis.tex:292 |
depends_on |
→ | Lane–Emden equation | declared | parts/05-general-relativity-cosmology/11-stellar-structure-nucleosynthesis.tex:292 |
proves |
← | ch:11-stellar-structure-nucleosynthesis@proof-5 | derived | parts/05-general-relativity-cosmology/11-stellar-structure-nucleosynthesis.tex:295 |