A finite-dimensional face of the unit ball is compact and is the ball's trace on its affine hull

Initializing...

A finite-dimensional face of the unit ball is compact and is the ball's trace on its affine hull · Prove2Me