P
Initializing...
Equidistant witnesses are a pinned-multiplicity lower bound · Prove2Me