Def alg_hom.restrict_is_splitting_field_aux

Modification history