P¹ STABLE NISNEVICH
SH(S) / P¹-spectra localizations
Cellular approximation towers