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

Initializing...

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