← Feed @lisyarus@mastodon.gamedev.place 2026-05-06 15:22 UTC @julesh@mathstodon.xyz Hmmm, the maximal element is already the set of elements, isn't it? Replies (0) No replies.