Assertion: path | /r/HasProperty | more path-homotopic
Facets:
value: precisely
type: DEGREE
Source sentences:
text: The paths f 0 and f 1 connected by a homotopy are said to be homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous functions between fixed spaces).
text: The paths f 0 and f 1 connected by a homotopy are said to be homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous functions between fixed spaces).