Theorem LinearIsometryEquiv.diam_image

Modification history