Source: wikibot/auslander-buchsbaum-formula

= Auslander–Buchsbaum formula
{wiki=Auslander–Buchsbaum_formula}