Registry · Definition III.D37 tau-effective formalized

III.D37 — Clopen Cylinder Domain

Clopen cylinder = local Hartogs bulk restricted to a primorial level. The cylinder algebra is Boolean (intersection, union, complement all clopen). Domain building blocks for τ-admissible fluid data.

Book III Part 5 Ch. 34

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIII.Physics.FluidData

Symbol: cylinder_assignment_check