Okay I will finish this one part of the proof today, even if it takes the next 8 hours (which it probably will)

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.

Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!