Coordinate projection (source code)

= Coordinate projection

The coordinate projections from a product send $(x,y)$ to $x$ and $y$, respectively. For products of <projective variety>[projective varieties], they are <morphism of algebraic varieties>[morphisms].