Registry · Remark V.R81 tau-effective not_applicable

V.R81 — Forward references

The nonlinear machinery of ch15 deploys in subsequent chapters: Schwarzschild readout (ch16), TOV stellar structure (ch17-18), and gravitational closing identity (ch20). Each is an instance of the Address Resolution Principle.

Book V Part 2 Ch. 15

Lean Formalization

Module: