Source: wikibot/artin-rees-lemma

= Artin–Rees lemma
{wiki=Artin–Rees_lemma}