Def derivation_to_square_zero_equiv_lift

Modification history