The strong form of the mod-2 cohomology conjecture for decomposable Postnikov towers
Strong-form conjecture. As unstable algebras, one has
MathDB