Registry · Remark I.R42 established not_applicable

I.R42 — Lemniscate Lipschitz Forward Reference

Lipschitz descent analysis of lemniscate dynamics requires Book II analytic tools (holomorphic decay estimates, boundary regularity). Forward reference.

Book I Part 7 Ch. 29

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: