Assertion: solid torus | /r/HasProperty | contractible
Facets:
value: since the disk
type: OTHER
Source sentences:
text: Since the disk D 2 {\displaystyle D^{2}} is contractible, the solid torus has the homotopy type of a circle, S 1 {\displaystyle S^{1}} .