Theorem TopCat.Presheaf.SheafConditionPairwiseIntersections.pushforward_sheaf_of_sheaf

Modification history

2023-10-20 14:35
Mathlib/Topology/Sheaves/Functors.lean
feat(Topology/Sheaves/Functors): Specialize pullback-pushforward adjunction to sheaves over topological spaces. (#7722) …
Deleted TopCat.Presheaf.SheafConditionPairwiseIntersections.pushforward_sheaf_of_sheafView on Github →
2023-05-26 15:03
Mathlib/Topology/Sheaves/Functors.lean
feat: port Topology.Sheaves.Functors (#4392)
Added TopCat.Presheaf.SheafConditionPairwiseIntersections.pushforward_sheaf_of_sheafView on Github →