P
Initializing...
A uniform negative bound for the weak-product diagonal · Prove2Me