Def alg_equiv.restrict_normal_hom

Modification history