Lifting-the-exponent lemma

ID: lifting-the-exponent-lemma

New to topics? Read the docs here!