phenomenon 49.8 The white-dwarf luminosity function has an edge

Rests on

• depends_on proposition 49.2 Ground-state pressure of the ideal Fermi gas ¶
  • depends_on phenomenon 83.1 Exclusion, and the lengths of the periods ¶
    • proves derived proof ch:07-identical-particles@proof-1 ¶
  • depends_on theorem 40.5 Energy–momentum relation ¶
    • depends_on definition 40.4 Four-momentum ¶
      • depends_on definition 40.2 Four-velocity ¶
        • depends_on definition 38.12 Proper time ¶
        • depends_on definition 40.1 Four-vector ¶
    • depends_on proposition 40.3 Normalization of the four-velocity ¶
      • depends_on definition 38.6 Minkowski metric and interval ¶
        • depends_on proposition 38.5 The invariant interval ¶
      • depends_on equation 40.2 eq:rdyn-fourvelocity ¶
      • proves proof ch:04-relativistic-dynamics@proof-1 ¶
    • proves proof ch:04-relativistic-dynamics@proof-2 ¶
  • proves proof ch:08-compact-stars@proof-2 ¶
• depends_on proposition 31.16 Hydrostatic balance ¶
  • depends_on definition 31.1 Fluid ¶
    • depends_on theorem 30.18 Cauchy: the stress tensor exists ¶
      • depends_on definition 30.17 Traction ¶
        • depends_on definition 7.126 Line and surface integrals ¶
        • depends_on definition 30.2 Representative volume element; continuum field ¶
      • depends_on definition 13.5 Tensor under orthogonal transformations ¶
        • depends_on definition 13.4 Orthogonal coordinate transformation ¶
      • proves proof ch:13-continuum-elasticity@proof-7 ¶
  • depends_on theorem 30.21 Cauchy's equation of motion ¶
    • depends_on theorem 7.133 Gauss ¶
      • depends_on definition 7.127 Simple regions ¶
        • depends_on definition 7.98 Functions of class $C^{1}$ ¶
        • depends_on definition 6.9 Compact set ¶
      • depends_on remark 7.128 What the derivations below take as given ¶
        • depends_on definition 7.125 Multiple integral ¶
        • depends_on theorem 7.40 Continuous functions are integrable ¶
        • depends_on theorem 7.25 Heine–Cantor: uniform continuity ¶
      • depends_on theorem 7.43 Fundamental theorem of calculus, II ¶
        • depends_on definition 7.41 Antiderivative ¶
        • depends_on theorem 7.42 Fundamental theorem of calculus, I ¶
        • proves proof ch:05-real-analysis@proof-25 ¶
      • proves proof ch:05-real-analysis@proof-79 ¶
    • depends_on theorem 30.18 Cauchy: the stress tensor exists ¶ ↺
    • proves proof ch:13-continuum-elasticity@proof-9 ¶
  • proves proof ch:14-fluid-dynamics@proof-7 ¶
• depends_on proposition 52.9 Radiative diffusion ¶
  • depends_on equation 68.2 eq:bb-stefan-boltzmann ¶
  • proves proof ch:11-stellar-structure-nucleosynthesis@proof-6 ¶
• proves proof ch:08-compact-stars@proof-7 ¶

Supports

Nothing declares a dependency on this node yet.