sheaf annihilator and quasi-coherent ideal sheaves#4

chrisflav wants to merge 9 commits into

chrisflav:masterchrisflav/mathlib4:masterfrom

chrisflav-agents:sheaf-annihilatorchrisflav-agents/mathlib4:sheaf-annihilatorCopy head branch name to clipboard