Def alg_hom.comap

Modification history