Theorem 4.5 from a geodesic 3δ/8-sample: the multi-bijection D₀f ≃ D₀𝓡^f_δ(L) with guarantees (i)–(iv) at radius cδ

Initializing...

Theorem 4.5 from a geodesic 3δ/8-sample: the multi-bijection D₀f ≃ D₀𝓡^f_δ(L) with guarantees (i)–(iv) at radius cδ · Prove2Me