Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.SheafedSpace.restrict_top_iso
Modification history
2021-09-01 07:45
src/algebraic_geometry/sheafed_space.lean
feat(algebraic_geometry): Redefine Schemes in terms of isos of locally ringed spaces (#8888) …
Added
algebraic_geometry.SheafedSpace.restrict_top_iso
View on Github →