The idempotency of the real spectrum implies the extension theorem for Nash functions

From MaRDI portal
Publication:1127701