Theorem SemilinearIsometryClass.diam_range

Modification history