Results The τ-Identity Theorem establishes that if two τ-holomorphic functions agree at a single orbit depth, they agree everywhere. This is a far stronger rigidity res…
Results · Mathematics Foundational math Internally addressed

Identity Theorem

The τ-Identity Theorem establishes that if two τ-holomorphic functions agree at a single orbit depth, they agree everywhere. This is a far stronger rigidity res…

Mathematics Structural support result HOLO Book II
Public Manuscript Lean · Formalized Kernel
In plain language

The τ-Identity Theorem establishes that if two τ-holomorphic functions agree at a single orbit depth, they agree everywhere. This is a far stronger rigidity res…

Overview

The τ-Identity Theorem establishes that if two τ-holomorphic functions agree at a single orbit depth, they agree everywhere. This is a far stronger rigidity result than the classical identity theorem, which requires agreement on a set with an accumulation point.

Result Statement

Agreement at one orbit depth implies agreement everywhere (τ-Identity Theorem). Status: Internally addressed.

Cross-references

Glossary terms

Metaphysics: Identity (address persistence through change)

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert