Zulip Chat Archive
Stream: Is there code for X?
Topic: homeomorphism between prod and pi
Jireh Loreaux (Jan 12 2024 at 22:18):
Do we have docs#piFinTwoEquiv as a homeomorphism? Or any equivalent version?
Jireh Loreaux (Jan 12 2024 at 22:19):
I don't need Fin 2 specifically.
Junyan Xu (Jan 12 2024 at 22:23):
Jireh Loreaux (Jan 12 2024 at 22:23):
Perfect, thanks! Don't know how I managed to miss it.
Last updated: May 02 2025 at 03:31 UTC