Registry · Definition V.D59 tau-effective formalized

V.D59 — Present surface

The present surface at orbit depth n is Sigma_n = Im(N_n) in H_partial^fiber[gamma,eta,omega]|_n, the maximal set of fiber configurations that can exchange information with the base at depth n.

Book V Part 2 Ch. 15

Dependency Graph

Depends on (2)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.PresentSurface