Def alg_equiv.restrict_normal

Modification history