Registry · Theorem
V.T146
tau-effective
formalized
V.T146 — Packing Maximum Theorem
He-4 packing maximum is exactly 8/27 (2^3 block in 3^3 macrocell).
Book V
Part 6
Ch. 48
Dependency Graph
Depends on (1)
Depended on by (1)
Lean Formalization
Module: TauLib.BookV.Cosmology.HeliumFraction
Symbol: packing_is_8_27