Theorem AlgEquiv.toLinearMap_ofAlgHom

Modification history