Def alg_hom.restrict_normal'

Modification history