Theorem LinearMap.isometryOfOrthonormal_toLinearMap

Modification history