Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.SheafedSpace.sheaf
Modification history
2021-10-11 07:59
src/algebraic_geometry/sheafed_space.lean
refactor(topology/sheaves/*): Make sheaf condition a Prop (#9607) …
Modified
algebraic_geometry.SheafedSpace.sheaf
View on Github →
2020-08-31 05:09
src/algebraic_geometry/sheafed_space.lean
feature(algebraic_geometry/Scheme): the category of schemes (#3961) …
Added
algebraic_geometry.SheafedSpace.sheaf
View on Github →