Theorem AlgHom.toLinearMap_id

Modification history