Registry · Definition II.D17 established formalized

II.D17 — Angular Sectors

Clopen subsets of tau^3 defined by B- or C-coordinate constraints at a fixed stage k. B-sectors fix the exponent mod p_k; C-sectors fix the tetration mod p_k. The two are independent.

Book II Part 3 Ch. 16

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Topology.BoundaryMinimality

Symbol: angular_b_sector