Theorem AlgEquiv.trans_toLinearMap

Modification history