# Commit 2022-08-10 05:50 af80234d

View on Github →feat(algebraic_geometry/morphisms/basic): Basic framework for local properties of morphisms. (#15709)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebraic_geometry/morphisms/basic): Basic framework for local properties of morphisms. (#15709)