Registry · Definition II.D18b established formalized

II.D18b — Spine Address Path

Spine Address Path: canonical address route between finite-stage points via alpha_1

Book II Part 3 Ch. 18

Dependency Graph

Depends on (5)

I.D17 I.T04 I.T05 II.D14 II.D18a

Lean Formalization

Module: TauLib.BookII.Topology.CoherenceConnectivity

Symbol: spine_address_path