Registry · Definition II.D14 established formalized

II.D14 — Stone Space

A topological space that is compact, Hausdorff, and totally disconnected; equivalently, a profinite space. tau^3 is a Stone space by II.T07-T09, with clopen basis from the cylinder topology.

Book II Part 3 Ch. 13

Dependency Graph

Depends on (3)

II.T07 II.T08 II.T09

Depended on by (17)

II.D18a II.D18b II.D23 II.D24 II.D30 II.D32 II.D71 II.D77 II.L03 II.R06b II.T12 II.T18 II.T20 II.T23 II.T45 II.D91 II.D92

Lean Formalization

Module: TauLib.BookII.Topology.StoneSpace

Symbol: StoneWitness