You are leaving mathstodon.xyz.
If you trust this link, click it to continue.
https://social.ahlcode.fi/notes/9jpszrw9nu4uok1l