add lemmas InfinitesimalI2, InfinitesimalD2
add lemmas InfinitesimalI2, InfinitesimalD2

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