Theorem StarAlgHom.snd_prod

Modification history