P
Initializing...
Theorem 4.8 — when convexifying before or after an intersection agree (pointed case) · Prove2Me