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