Theorem NonUnitalAlgHom.snd_prod

Modification history