Mathlib Changelog
v4
Changelog
About
Github
Theorem
TopCat.Sheaf.pullback_eq
Modification history
2024-12-19 21:50
Mathlib/Topology/Sheaves/Functors.lean
refactor(CategoryTheory/Sites): define Functor.sheafPullback as a left adjoint (#19516) …
Deleted
TopCat.Sheaf.pullback_eq
View on Github →
2023-10-20 14:35
Mathlib/Topology/Sheaves/Functors.lean
feat(Topology/Sheaves/Functors): Specialize pullback-pushforward adjunction to sheaves over topological spaces. (#7722) …
Added
TopCat.Sheaf.pullback_eq
View on Github →