Theorem LinearIsometryEquiv.trans_refl

Modification history