1 problem

Cryptomorphic reduction conjecture. These new representations should lead to orientation theories that can be cryptomorphically reduced to $D_n$-orientations.