Theorem AlgHom.comp_toLinearMap

Modification history