Theorem LinearMap.isometryOfInner_toLinearMap

Modification history