Def LinearIsometryEquiv.toIsometryEquiv

Modification history