Theorem LinearEquiv.coe_isometryOfOrthonormal

Modification history