Def alg_hom.ker_square_lift

Modification history