λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1

Reference specialization at mu0=pi/2

Reference specialization at mu0=pi/2 · lines 2527–2535

Back to manuscript

This appendix defines and checks the reference specialization used in the source-off statement. It is directly verifiable without access to a separately maintained VIII-A source. The correspondence with VIII-A is documentary CheungVIIIA; no independent file-to-file comparison is claimed.