Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
algebraic_geometry.PresheafedSpace.mk_coe
Modification history
2020-08-31 05:09
src/algebraic_geometry/presheafed_space.lean
feature(algebraic_geometry/Scheme): the category of schemes (#3961) …
Modified
algebraic_geometry.PresheafedSpace.mk_coe
View on Github →
2019-05-29 11:10
src/algebraic_geometry/presheafed_space.lean
feat(presheaves/stalks): stalks of presheafs, and presheafed spaces with extra structure on stalks (#1018) …
Added
algebraic_geometry.PresheafedSpace.mk_coe
View on Github →