Adams–Novikov spectral sequence

GPTKB entity