P
Initializing...
$H_k(\Sigma^4\setminus\{p\};\mathbb Z)=0$ for $k\ge1$: a punctured homotopy four-sphere is acyclic · Prove2Me