basic): Morphism properties on the diagonal morphism. (#16111)

Commit

3 years ago

feat(algebraic_geometry/morphisms/basic): Morphism properties on the diagonal morphism. (#16111)

Author

erdOne

Parents