  We prove a version of the classical 'generic smoothness' theorem with smooth
varieties replaced by non-commutative resolutions of singular varieties. This
in particular implies a non-commutative version of the Bertini theorem.
