Registry · Proposition V.P114 tau-effective formalized

V.P114 — Neutrino Background Origin

Neutrino background origin proposition.

Book V Part 6 Ch. 49

Dependency Graph

Depends on (3)

IV.D05 V.D206 V.D51

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.neutrino_background_origin