 Dimension from minimum tangent dimension

For an affine variety, its dimension is the minimum of $\dim T_{X,P}$ over its points. A point is smooth when its tangent dimension attains this minimum and singular otherwise.