Registry · Proposition IV.P229 tau-effective formalized

IV.P229 — Ten Regime Instantiations

All 10 regimes (crystal, glass, quasicrystal, Euler, NS, MHD, plasma, superfluid, superconductor, ferromagnet) decidable at finite refinement via horizon-contractivity lemma.

Book IV Part 7 Ch. 64

Dependency Graph

Depends on (2)

IV.T210 IV.T211

Lean Formalization

Module: TauLib.BookIV.ManyBody.NFLBoundary

Symbol: Tau.BookIV.ManyBody.TenRegimeInstantiations