Registry · Remark IV.R293 tau-effective not_applicable

IV.R293 — Connection to Book~II

The CR-admissible sublattice Lambda_CR derived here from holonomy around the wedge point is exactly the sublattice from Book II Part V derived from tau-CR equations on the lemniscate boundary; both express the geometric fact that the two lobes of L have opposite complex orientations at omega.

Book IV Part 3 Ch. 16

Lean Formalization

Module: