tidied, and added missing thm divide_less_eq_1_neg
tidied, and added missing thm divide_less_eq_1_neg

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