Formatting 2

Author: GeoffreySangston

spaces/S000107/properties/P000229.md

@@ -12,7 +12,7 @@ refs:
 Since {S107|P86}, it is enough to show that the path-component of $0$
 is {P229}. By {{mathse:5012784}}, this component equals 
 $\mathbb{R}^\infty := \{y : y^n = 0\text{ for all but finitely many }n\}$. 
-Then it is enough to argue that $\mathbb{R}^\infty$ is contractible ([Explore]([π-Base, Search for `contractible + ~Semilocally simply connected`](https://topology.pi-base.org/spaces?q=contractible+%2B+%7ESemilocally+simply+connected))).
+Then it is enough to argue that $\mathbb{R}^\infty$ is contractible ([Explore](https://topology.pi-base.org/spaces?q=contractible+%2B+%7ESemilocally+simply+connected)).
 This follows once we argue that $F : \mathbb{R}^\infty \times [0, 1] \to \mathbb{R}^\infty$, $(x, t) \mapsto tx$, is continuous.
 
 By {{mathse:3961052}}, the subspace topology on $\mathbb{R}^\infty$ coincides with the weak topology,