You are leaving mathstodon.xyz.

If you trust this link, click it to continue.

https://agda.club/objects/2309926e-28c3-46c0-a90e-9be0a0b31794