Def LinearIsometryEquiv.toContinuousLinearEquiv

Modification history