P
Initializing...
Proposition 3.1, proof — reduction to a cone $K$ without lines · Prove2Me