Product of projective varieties
= 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.
= 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.