consider changes variable names in theorem le_imp_power_dvd
consider changes variable names in theorem le_imp_power_dvd

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