Theorem LinearIsometryEquiv.ediam_image

Modification history