isHomotopyEquivalentTo

2 triples
GPTKB property

Random triples
Subject Object
gptkb:n-torus_T^n product of n circles
gptkb:S^1 gptkb:butter