Registry · Proposition IV.P234 tau-effective not_applicable

IV.P234 — Two-Channel Framework

Geometric channel (d₁,d₂,d₃): melting, boiling, sublimation. Topological channel (d₄): superconductivity, superfluidity, ferromagnetic ordering. Two channels are independent.

Book IV Part 7 Ch. 62

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter