feat(Topology): sheafRestrict is a right adjoint#41088

Brian-Nugent wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Brian-Nugent:sheafRestrict-rightadjointBrian-Nugent/mathlib4:sheafRestrict-rightadjointCopy head branch name to clipboard