Let X be a quasi-projective scheme of pure dimension d
a field k.
Let Xsing denote the non-smooth locus of X.
The classical Chow’s Moving Lemma [Rob] and its generalization
([Con], II.9, assuming k algebraically closed)
immediately imply the followi…