Lemma 3.3 — contracting along a long chord of $W$ keeps the width above $d(W)/\sqrt{1 + (1-\beta^2)/(\beta^2\gamma^2)}$

Initializing...

Lemma 3.3 — contracting along a long chord of $W$ keeps the width above $d(W)/\sqrt{1 + (1-\beta^2)/(\beta^2\gamma^2)}$ · Prove2Me