Theorem LinearIsometryEquiv.toLinearEquiv_trans

Modification history