Def adjoin_root.lift_hom

Modification history