Registry · Proposition IV.P134 tau-effective formalized

IV.P134 — Topological charge conservation

The total topological charge theta^tot(C) is conserved under any process that does not create or annihilate defect bundles: theta^tot(C_{n+1}) = theta^tot(C_n) for all primorial stages n, reflecting the homotopy invariance of winding numbers on T^2.

Book IV Part 7 Ch. 52

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.TopologicalChargeConservation