Diagonal morphism (algebraic geometry) (source code)

= Diagonal morphism (algebraic geometry)
{wiki=Diagonal_morphism_(algebraic_geometry)}