Theorem LinearIsometryEquiv.image_sphere

Modification history