Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-15 23:01
32a2d94b
View on Github →
feat: port Topology.Sheaves.Operations (
#4731
)
Estimated changes
Modified
Mathlib.lean
Modified
Mathlib/Algebra/Category/Ring/Adjunctions.lean
Modified
Mathlib/Algebra/Category/Ring/Basic.lean
Modified
Mathlib/Algebra/Hom/Ring.lean
Created
Mathlib/Topology/Sheaves/Operations.lean
added
def
TopCat.Presheaf.SubmonoidPresheaf.toLocalizationPresheaf
added
structure
TopCat.Presheaf.SubmonoidPresheaf