I.T30 — Removable Singularity

Removable Singularity: two tower-coherent functions agreeing at depth d0 for all inputs agree at all depths <= d0. Repackaging of the Identity Theorem in extension language. The thin set is removable.