Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
Top.sheaf
Modification history
2022-07-27 11:14
src/topology/sheaves/sheaf.lean
refactor(topology/sheaves): Redefine sheaves in terms of Grothendieck topology. (#15384) …
Modified
Top.sheaf
View on Github →
2022-07-03 11:47
src/topology/sheaves/sheaf.lean
refactor(category_theory): generalise universe levels in preservation statements (#15067) …
Modified
Top.sheaf
View on Github →
2021-10-11 07:59
src/topology/sheaves/sheaf.lean
refactor(topology/sheaves/*): Make sheaf condition a Prop (#9607) …
Added
Top.sheaf
View on Github →