Theorem StarAlgHom.fst_prod

Modification history