Registry · Definition V.D340 tau-effective not_formalized

V.D340 — Cumulative Topology Change

N_BH(n) = count of independent non-contractible BH linking classes in H_1(T^2_n; Z) at refinement depth n. Non-decreasing by No-Shrink Theorem; mergers reduce count via linking-class composition but BHs cannot disappear.

Book V Part 6 Ch. 50

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: