Registry · Theorem V.T147 tau-effective formalized

V.T147 — Face-Conflict Theorem

P(face conflict) = 1/3, proved by exhaustive enumeration: 3 of 9 phase pairs satisfy a2 < a1.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

V.D193

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: face_conflict_is_1_3