Theorem DirectSum.coeAlgHom_of

Modification history