isDiffeomorphicTo

Indicates that there exists a smooth, bijective map between two spaces whose inverse is also smooth, so the spaces are equivalent in the sense of differential topology.