Theorem SemilinearIsometryClass.diam_image

Modification history