Source: wikibot/lifting-the-exponent-lemma

= Lifting-the-exponent lemma
{wiki=Lifting-the-exponent_lemma}