CK 2021, Lemma 25 — a swap-symmetric minimizing anchor triple with resolution to the first anchor

Initializing...

CK 2021, Lemma 25 — a swap-symmetric minimizing anchor triple with resolution to the first anchor · Prove2Me