Def alg_hom.restrict_normal_aux

Modification history