Registry · Remark IV.R164 tau-effective formalized

IV.R164 — Cooper pairing is topological

Cooper pairing is topological in Category tau: two electron defect bundles with opposite momentum share a combined T^2 configuration whose theta is even; the phonon-mediated BCS attraction is the C-B cross-sector coupling in the defect functional.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.CooperPairingIsTopological