Theorem AlgHom.toLinearMap_ofLinearMap

Modification history