A generalized Sard theorem on real closed fields

From MaRDI portal
Publication:2805383