P
Initializing...
A mixed distance and product lower bound · Prove2Me