Theorem SemilinearIsometryClass.ediam_image

Modification history