← Feed @robrix@types.pl Post #1488782 2025-07-02 22:01 UTC @rg9119 congrats! Replies (1) @rg9119@mathstodon.xyz 2025-07-02 22:19 @robrix Thanks! Open ##1488783