Def LinearIsometryEquiv.ofLinearIsometry

Modification history