add lemmas of_int_in_Reals, of_nat_in_Reals
add lemmas of_int_in_Reals, of_nat_in_Reals

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