New theorems Pow_in_Vfrom and Pow_in_VLimit
New theorems Pow_in_Vfrom and Pow_in_VLimit

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