Registry · Proposition V.P69 tau-effective formalized

V.P69 — No Dark Particle Theorem --- V.P33

No persistent defect bundle on T^2 has dark matter properties (gravitational coupling + EM transparency): D-sector coupling is a base readout property, not a fiber defect bundle property, so all particles carry electromagnetic charge.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (7)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.NoDarkParticleTheoremVp33