Registry · Definition V.D211 conjectural planned

V.D211 — Neutron Multiplicity Bound

Count of distinct defect sites on fiber T^2 satisfying eta-sector confinement condition at neutron threshold.

Book V Part 6 Ch. 48

Lean Formalization

Module: