Theorem NonUnitalAlgHom.toAlgHom_zero

Modification history