You are leaving mathstodon.xyz.

If you trust this link, click it to continue.

https://troet.cafe/@principia/109381517546762983