P
Initializing...
Ehrhard reduction of a failed convex-fold inequality to a planar counterexample · Prove2Me