Registry · Corollary V.C14 tau-effective formalized

V.C14 — No Dark Matter Particle

No particle in Category tau has dark matter properties (massive, stable, non-baryonic, not a known lepton): any massive particle must reside in one of the five sectors, and systematic elimination (D = base-only, B/C = baryonic, A = known, omega = Higgs) excludes all candidates.

Book V Part 5 Ch. 44

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.NoDarkMatterParticle