Registry · Definition V.D92 tau-effective formalized

V.D92 — Geometric relaxation

Geometric relaxation: the process by which a defect bundle loses CR-tension through spatial redistribution on the fiber T^2, driven by the fiber gradient of |dbar_b f|^2 weighted by the B-sector self-coupling kappa(B;2).

Book V Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.GeometricRelaxation