← Feed @rg9119@mathstodon.xyz Post #1488787 2025-07-03 03:11 UTC @regehr Thanks! Replies (0) No replies.