strengthened dvd_mod & proofed dvd_mod_iff
strengthened dvd_mod & proofed dvd_mod_iff

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