Registry · Definition II.D62 established formalized

II.D62 — Tau-Manifold

A pair (M, A_tau) where M is a Stone space and A_tau is a maximal tau-analytic atlas. The model spaces are tau^1, T^2, and tau^3.

Book II Part 10 Ch. 54

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookII.Closure.TauManifold

Symbol: Tau.BookII.Closure.TauManifoldData