new standard proof of LIMSEQ_realpow_zero
new standard proof of LIMSEQ_realpow_zero

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