Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
algebraic_geometry.PresheafedSpace.id_f
Modification history
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) …
Deleted
algebraic_geometry.PresheafedSpace.id_f
View on Github →
2019-05-05 07:02
src/algebraic_geometry/presheafed_space.lean
feat(presheaves) (#886) …
Added
algebraic_geometry.PresheafedSpace.id_f
View on Github →