← Feed @MartinEscardo@mathstodon.xyz 2026-04-19 16:59 UTC Less is more. @andrejbauer @jonmsterling Replies (0) No replies.