new LIM/isCont lemmas for abs, of_real, and power
new LIM/isCont lemmas for abs, of_real, and power

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