The rectangular Mazur-distance objective attains its minimum on the Schatten power sphere

Initializing...

The rectangular Mazur-distance objective attains its minimum on the Schatten power sphere · Prove2Me