Piling-up lemma

ID: piling-up-lemma

New to topics? Read the docs here!