← Feed @andrejbauer@mathstodon.xyz Post #1550555 2026-04-11 17:07 UTC @wtgowers Close, close, but not quite there. Replies (0) No replies.