Def FinVect.of

Modification history

2022-11-18 10:49

src/algebra/category/FinVect.lean

feat(algebra/category/FinVect): generalize to fgModule (#13962) …

Deleted FinVect.of View on Github →

2022-05-04 07:50

src/algebra/category/FinVect.lean

feat(algebra/category/FinVect): has finite limits (#13793)

Added FinVect.of View on Github →