Assertion: torus | /r/HasProperty | topological product of $s^1
Facets:
value: with s^1$
type: OTHER
Source sentences:
text: Proof: The torus is the topological product of $S^1$ with $S^1$ .