Morse-Sard theorem for real-analytic functions Jiří Souček, Vladimír Souček (1972) Commentationes Mathematicae Universitatis Carolinae