mathlib3
b351ad53 - feat(algebraic_geometry/morphisms): Basic framework for classes of morphisms between schemes (#14944)

Commit

3 years ago

feat(algebraic_geometry/morphisms): Basic framework for classes of morphisms between schemes (#14944) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>

Author

erdOne

Parents

44c1fdca

mathlib3 b351ad53 - feat(algebraic_geometry/morphisms): Basic framework for classes of morphisms between schemes (#14944)

mathlib3
b351ad53 - feat(algebraic_geometry/morphisms): Basic framework for classes of morphisms between schemes (#14944)