Theorem LinearIsometryEquiv.image_ball

Modification history