Theorem SemilinearIsometryClass.ediam_range

Modification history