Theorem LinearIsometryEquiv.one_trans

Modification history