Theorem DirectSum.mulHom_apply

Modification history