Product of projective varieties (source code)

= Product of projective varieties

The product of projective varieties is projective via the Segre embedding. Dimensions add under products, and the product of smooth varieties is smooth.