generalize zpower_number_of_{even,odd} lemmas
generalize zpower_number_of_{even,odd} lemmas

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