feat(AlgebraicGeometry/Modules): flat sheaves of modules#8

chrisflav wants to merge 6 commits into

chrisflav:masterchrisflav/mathlib-staging:masterfrom

chrisflav-agents:flat-sheaves-of-moduleschrisflav-agents/mathlib-staging:flat-sheaves-of-modulesCopy head branch name to clipboard