Def LinearEquiv.isometryOfInner

Modification history