speed up some proofs, fixing linarith_split_limit warnings
speed up some proofs, fixing linarith_split_limit warnings

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