hasE2Term

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Adams–Novikov_spectral_sequence Ext group over the complex cobordism cooperations
gptkb:Leray_spectral_sequence E2^{p,q} = H^p(Y, R^q f_* F)