# Commit 2022-08-05 12:35 68cc6138

View on Github →feat(algebraic_geometry/open_immersion): Restricting a morphism twice is isomorphic to one restriction. (#15710)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebraic_geometry/open_immersion): Restricting a morphism twice is isomorphic to one restriction. (#15710)