i have one of their galaxy infinity-puzzles, which is double sided and topologically a klein bottle https://mathstodon.xyz/@nervous_jesse/111495346941900141
@chrisamaphone ok, was looking in the wrong domain :)
https://en.wikipedia.org/wiki/Dependent_type