P
Initializing...
Theorem 4.5, p. 19 — a multi-bijection D₀f → D₀𝓡^f_δ(L) moves points by ≤ cδ in Q^NE_α and abscissae by ≤ cδ in Q^SE_α · Prove2Me