Theorem StarAlgHom.prod_fst_snd

Modification history