Registry · Definition II.D63 established formalized

II.D63 — Tau-Analytic Atlas

A collection of tau-analytic charts covering tau^3 with tower-coherent, stagewise natural, sector-independent transition functions.

Book II Part 10 Ch. 54

Dependency Graph

Depends on (3)

II.D35 II.T27 II.D10

Depended on by (3)

II.D62 II.D78 II.P15

Lean Formalization

Module: TauLib.BookII.Closure.TauManifold

Symbol: Tau.BookII.Closure.atlas_chart_check