Registry · Definition V.D119 tau-effective formalized

V.D119 — Lensing Character --- V.D52

The lensing character chi_lens(n) maps incoming null intertwiner directions to outgoing directions via a boundary character on S^1_in -> S^1_out, encoding gravitational lensing as a D-sector projection through the gamma-sector null structure.

Book V Part 5 Ch. 35

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.LensingCharacterVd52