Hryniewicz §3.2–3.3: along non-degenerate approximations that fix the binding to first order, $\bar P$ eventually bounds a disk-like global section

Initializing...

Hryniewicz §3.2–3.3: along non-degenerate approximations that fix the binding to first order, $\bar P$ eventually bounds a disk-like global section · Prove2Me