AddXIs [dvdI]; AddXEs [dvdE]; added dvd_mult_div_cancel;
AddXIs [dvdI]; AddXEs [dvdE];
added dvd_mult_div_cancel;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle