Def alg_hom.finite

Modification history