The Coester--Koutsoupias potential is minimised at an anchor tuple ending in the request, for $k \ge 3$

Initializing...

The Coester--Koutsoupias potential is minimised at an anchor tuple ending in the request, for $k \ge 3$ · Prove2Me