Registry · Definition II.D24 established formalized

II.D24 — Alpha-Ray Line

A line in tau^3 along the alpha-ray direction, defined using the prime-indexed coordinate A and the ultrametric distance. The one-dimensional subspace traced by varying the address coordinate.

Book II Part 5 Ch. 23

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookII.Transcendentals.Lines

Symbol: alpha_ray