Def LinearMap.isometryOfOrthonormal

Modification history