Registry · Definition V.D126 tau-effective formalized

V.D126 — Topological Channel --- V.D59

The topological channel at x in tau^3 is the set of paths in defect space that increase d_top(x). It is closed when all such paths require energy input, and open when at least one path is energetically favorable.

Book V Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.TopologicalChannelVd59