Theorem AlgHom.ofLinearMap_toLinearMap

Modification history