generalize lemmas power_number_of_even and power_number_of_odd
generalize lemmas power_number_of_even and power_number_of_odd

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