Theorem LinearEquiv.coe_isometryOfInner

Modification history