annihilator and ideal sheaves#3

chrisflav wants to merge 5 commits into

masterchrisflav/mathlib4:masterfrom

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