declare dvd_minus_iff and minus_dvd_iff [iff]
declare dvd_minus_iff and minus_dvd_iff [iff]

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