mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(algebraic_geometry/morphisms): Construct morphism properties from ring homomorphism properties

Open erdOne opened this issue 3 years ago • 1 comments

  • [ ] depends on: #16060

Open in Gitpod

erdOne avatar Aug 15 '22 05:08 erdOne

This PR/issue depends on:

  • ~~leanprover-community/mathlib#16060~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Aug 16 '22 04:08 mathlib-dependent-issues-bot

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 17 '22 20:08 bors[bot]