Apparently the asphericity is due to Zastrow (see Cannon-Conner-Zastrow).
Also apparently the result that the higher homology groups vanish is due to Zastrow, but his habilitation thesis never seems to have appeared.
Ian Agol
- 68.9k
- 3
- 194
- 358