Commit 2024-10-24 10:36 a86c9d3e
View on Github →feat: the monoidal structure on the category of presheaves of modules (#17300) This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in June 2024.
feat: the monoidal structure on the category of presheaves of modules (#17300) This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in June 2024.