lin_arith_prover splits certain operators (e.g. min, max, abs)
lin_arith_prover splits certain operators (e.g. min, max, abs)

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