Theorem LinearIsometryEquiv.image_closedBall

Modification history