Okay I will finish this one part of the proof today, even if it takes the next 8 hours (which it probably will)
#Introduction Hello, I am Florian, aspiring model theorist and geometer and not quite a PhD student yet, but I am doing my best to become one soon.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!