Registry · Proposition IV.P166 tau-effective formalized

IV.P166 — Neutron Minimality

The neutron is the minimal stable unpolarized defect bundle on the T^2 fiber: it is unpolarized (zero charge, zero isospin, balanced chi_pm), stable when bound in nuclei, and no defect bundle with strictly smaller topological charge satisfies both conditions simultaneously.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.NeutronMinimality