The nForum has moved to Zulip: Auslander-Buchsbaum formula.