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