Registry · Definition V.D178 tau-effective formalized

V.D178 — Topological motif

A topological motif at depth n is an equivalence class [D]_n of defect tuple configurations on an open neighborhood U of tau^3, where configurations are equivalent under continuous deformation preserving defect-component thresholds. A motif must be stable (rho-invariant) and irreducible.

Book V Part 6 Ch. 54

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.TopologicalMotif