Mathlib v3 is deprecated. Go to Mathlib v4

Def algebraic_geometry.LocallyRingedSpace.hom_of_SheafedSpace_hom_of_is_iso

Modification history

2021-08-29 14:08
src/algebraic_geometry/locally_ringed_space.lean
feat(algebraic_geometry): Lift isomorphism of sheafed spaces to locally ringed spaces (#8887) …
Added algebraic_geometry.LocallyRingedSpace.hom_of_SheafedSpace_hom_of_is_isoView on Github →