非有限生成射影模

• nonfinitely generated projective modulus