Via Milnor, Kahn and Antonelli, however, it is known that provided n > 6, Diff(Sn) does not have the homotopy-type of a finite CW-complex.
Azt viszont Milnor, Kahn és Antonelli jóvoltából tudjuk, hogy n > 6 esetén Diff(Sn) homotópiatípusa nem véges CW-komplexus.