← Feed @regehr@mastodon.social Post #1488786 2025-07-03 03:03 UTC @rg9119 congrats Ron! Replies (1) @rg9119@mathstodon.xyz 2025-07-03 03:11 @regehr Thanks! Open ##1488787