Def alg_hom.prod_equiv

Modification history