1 problem

Let $B\mathrm{Cob}_2 \simeq S^1 \times X$ be Tillmann's equivalence of infinite loop spaces, where $X$ is a simply connected infinite loop space. A classifying space is a 1-type if…