Registry · Proposition II.P15 established formalized

II.P15 — Tau3 Is a Tau-Manifold

Tau3 Is a Tau-Manifold

Book II Part 10 Ch. 54

Dependency Graph

Depends on (3)

II.D62 II.D63 II.T40

Lean Formalization

Module: TauLib.BookII.Closure.TauManifold

Symbol: Tau.BookII.Closure.tau3_is_manifold_check