← Feed @mc@mathstodon.xyz Post #2855012 2026-05-25 10:34 UTC so satisfying when the lemmata lem Replies (0) No replies.