Yes, I saw that! Inspired me to look at the original paper.
The video takes a slightly different approach from the paper and uses a retraction on the möbius strip to its boundary as a contradiction.
That particular argument doesn’t generalize as well in higher dimensions (in particular, the symmetric product won't always have a boundary to retract to), so I followed the original paper’s one instead. I'll add a link to that video as well
The video takes a slightly different approach from the paper and uses a retraction on the möbius strip to its boundary as a contradiction.
That particular argument doesn’t generalize as well in higher dimensions (in particular, the symmetric product won't always have a boundary to retract to), so I followed the original paper’s one instead. I'll add a link to that video as well