← Feed @highergeometer@mathstodon.xyz 2026-04-09 02:20 UTC @andrejbauer The intro is great 😁 Replies (0) No replies.