is a homeomorphism. This is also the case when , and are compactly generated, although there are more cases.
is a homeomorphism. This is also the case when , and are compactly generated, although there are more cases.