Dimension from minimum tangent dimension
= 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.