P
Initializing...
Proposition 3.19 -- integral convexity is pointwise-local · Prove2Me