Andrew Yang
Andrew Yang
--- [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
feat(algebraic_geometry/morphisms): Construct morphism properties from ring homomorphism properties
--- - [ ] depends on: #16060 [](https://gitpod.io/from-referrer/)
--- - [x] depends on: #15855 - [x] depends on: #15856 - [ ] depends on: #16047 [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
--- [](https://gitpod.io/from-referrer/)
--- - [x] depends on: #15827 [](https://gitpod.io/from-referrer/)