Registry · Theorem V.T148 established formalized

V.T148 — Three Decompositions Identity

(8/27)(5/6) = (4x5)/3^4 = (1/4)(80/81) = 20/81. Three algebraically identical routes.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

V.D195

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: three_routes_agree