Ben Pace comments on Topological Fixed Point Exercises

[Ben Pace]

I just tried to fix all the things in your comment. You’re right, weird stuff was happening :-)

[seed]

Thank you!