The cup-product formula for cohomology classes of Bier spheres
Cup-product conjecture. For each I∈Ii(K)I\in\mathcal{I}_i(K)I∈Ii(K) and J∈Ij(K)J\in\mathcal{I}_j(K)J∈Ij(K), one has
MathDB