Theorem AlgHom.algebraMap_eq_apply

Modification history