Registry · Proposition
V.P30
tau-effective
formalized
V.P30 — Finite initial defect count
Finite initial defect count: at orbit depth n = 0, the number of defect sites |D_0| <= |Lambda_CR^(0)| < infinity, bounded by the finite lattice at the coarsest refinement level -- a quotient of Z^2 by T^2 periodicity, reduced modulo the coarsest prime power.
Book V
Part 3
Ch. 23