Lying over theorem

Redirect to:

• Integral extension implies surjective map on spectra