Registry · Theorem VI.T29 tau-effective planned

VI.T29 — BH Distinction Theorem

Macro-torus carrier with lexicographic defect satisfies all 5 conditions of τ-Distinction: clopen, refinement-coherent, eventually stable, law-stable, H_∂-equivariant.

Book VI Part 7 Ch. 43

Dependency Graph

Depends on (4)

VI.D54 VI.D55 VI.D56 VI.D57

Depended on by (3)

VI.L12 VI.T31 VI.T32

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHDist

Symbol: Tau.BookVI.BHDist.BhDistinctionTheorem