Def direct_sum.lift_ring_hom

Modification history