Theorem LinearEquiv.isometryOfInner_toLinearEquiv

Modification history