Registry · Definition
V.D192
tau-effective
formalized
V.D192 — He-4 Packing Maximum
Maximum He-4 packing fraction = 8/27: 2x2x2 blocks in 3x3x3 macrocells with stride 3 = dim(tau^3).
Dependency Graph
Depends on (1)
Depended on by (5)
Lean Formalization
Module: TauLib.BookV.Cosmology.HeliumFraction
Symbol: HePacking