Registry · Remark V.R433 conjectural not_applicable

V.R433 — Stellar Depletion and Spite Plateau

Standard stellar models: ~15% surface Li depletion. Applied: 1.87×10⁻¹⁰ × 0.85 = 1.59×10⁻¹⁰, matching Spite plateau (1.6±0.3)×10⁻¹⁰ with negligible residual.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Lean Formalization

Module: