Bounded localized repair: even-only extensions against an old root force stay within half the diameter

Initializing...

Bounded localized repair: even-only extensions against an old root force stay within half the diameter · Prove2Me