Commit 2024-04-30 15:37 fbdfab90

View on Github →

feat(Algebra/Category/ModuleCat): the category of sheaves of modules has limits (#12269)

Estimated changes