Source: wikibot/auslander-buchsbaum-theorem

= Auslander–Buchsbaum theorem
{wiki=Auslander–Buchsbaum_theorem}