Stably Free Modules

Serre’s Theorem for bijective skew PBW extensions (Theorem 8.2.3) says that if M is an f.g. projective module over a bijective skew PBW extension A of a left noetherian, left regular PSF ring R, then M is stably free.