Def diff_to_ideal_of_quotient_comp_eq

Modification history