P
Initializing...
Hurewicz: a simply connected acyclic space is weakly contractible · Prove2Me