Buchsbaum–Eisenbud structure theorem

GPTKB entity