# Commit 2022-11-18 10:49 19a70dce

View on Github →feat(algebra/category/FinVect): generalize to fgModule (#13962)
Generalize the category `FinVect`

of finite dimensional vector spaces to `fgModule`

, the category of finitely generated modules.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/category/FinVect): generalize to fgModule (#13962)
Generalize the category `FinVect`

of finite dimensional vector spaces to `fgModule`

, the category of finitely generated modules.