reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility
reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility

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