Singular locus of a product with a smooth variety

Since $T_{(x,y)}(X\times Y)=T_{x}X\oplus T_{y}Y$, if $Y$ is smooth thenIn particular, dimensions add.