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_isoView on Github →