Registry · Remark II.R06a established formalized

II.R06a — Refinement Rays

Refinement Rays: one-sided N-like canonical iterations via rho providing ABCD coordinate structure

Book II Part 3 Ch. 18

Dependency Graph

Depends on (4)

I.D17 I.T04 II.D15 II.T11

Lean Formalization

Module: TauLib.BookII.Topology.CoherenceConnectivity

Symbol: refinement_ray_check