Bass' fundamental theorem

GPTKB entity