← Feed @jonmsterling@mathstodon.xyz Post #1846816 2026-04-26 16:36 UTC @carloangiuli @MartinEscardo Well, I asked about this, and it sounds like it is an important open question in some circles. Replies (0) No replies.