Omar Antolín on Nostr: nprofile1q…aa3ey This doesn't answer your question, but one of the errata was ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szps4aa3ey (nprofile…a3ey) This doesn't answer your question, but one of the errata was probably about a gap in his proof of the Jordan curve theorem I found. We wrote a short corrigendum explaining the gap and two ways to fill it in: https://webhomes.maths.ed.ac.uk/~v1ranick/jordan/brouwer-cor-fun.pdf