Mathlib Changelog
Changelog
About
Github
Def
algebraic_geometry.affine_target_morphism_property
Modification history
2022-07-25 05:10
src/algebraic_geometry/morphisms/basic.lean
feat(algebraic_geometry/morphisms): Basic framework for classes of morphisms between schemes (#14944)
Added
algebraic_geometry.affine_target_morphism_property
View on Github →