Registry · Definition II.D05 established formalized

II.D05 — Base tau^1

The base of the tau^3 fibration: the two-dimensional space tau^1 = {(D, A)} where A is a tau-prime and prime factors of D are strictly less than A. Carries the radial and address coordinates.

Book II Part 1 Ch. 6

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Interior.Tau3Fibration

Symbol: Tau.BookII.Interior.BaseTau1