Registry · Remark IV.R444 tau-effective not_applicable

IV.R444 — Upgrade of BCS to Corollary

Prop IV.P(cooper-pairing) and Prop IV.P(bcs) are now corollaries of Thm IV.T212. Cooper pairing exists because T² has two coupled gauge sectors.

Book IV Part 7 Ch. 61

Dependency Graph

Depends on (1)

IV.T212

Lean Formalization

Module: